François Cheynier

According to our database1, François Cheynier authored at least 2 papers between 2013 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013
Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria.
CoRR, 2013


  Loading...