Philippe Herrmann

According to our database, Philippe Herrmann authored at least 9 papers between 1998 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Binary-Level Testing of Embedded Programs.

Sébastien Bardin, Philippe Baufreton, Nicolas Cornuet, Philippe Herrmann, Sébastien Labbé

Proceedings of the 2013 13th International Conference on Quality Software, 2013

2011

OSMOSE: automatic structural testing of executables.

Sébastien Bardin, Philippe Herrmann

Softw. Test. Verification Reliab., 2011

Refinement-Based CFG Reconstruction from Unstructured Programs.

Sébastien Bardin, Philippe Herrmann, Franck Védrine

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

The BINCOA Framework for Binary Code Analysis.

Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

An Alternative to SAT-Based Approaches for Bit-Vectors.

Sébastien Bardin, Philippe Herrmann, Florian Perroud

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

Pruning the Search Space in Path-Based Test Generation.

Sébastien Bardin, Philippe Herrmann

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Structural Testing of Executables.

Sébastien Bardin, Philippe Herrmann

Proceedings of the First International Conference on Software Testing, 2008

1999

Renaming is Necessary in Timed Regular Expressions.

Philippe Herrmann

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Timed Automata and Recognizability.

Philippe Herrmann

Inf. Process. Lett., 1998