 | 2011 |
|---|
| 8 |       | Sébastien Bardin,
Philippe Herrmann,
Jérôme Leroux,
Olivier Ly,
Renaud Tabary,
Aymeric Vincent:
The BINCOA Framework for Binary Code Analysis.
CAV 2011: 165-170 |
| 7 | | Sébastien Bardin,
Philippe Herrmann,
Franck Védrine:
Refinement-Based CFG Reconstruction from Unstructured Programs.
VMCAI 2011: 54-69 |
| 6 | | Sébastien Bardin,
Philippe Herrmann:
OSMOSE: automatic structural testing of executables.
Softw. Test., Verif. Reliab. 21(1): 29-54 (2011) |
| 2010 |
|---|
| 5 | | Sébastien Bardin,
Philippe Herrmann,
Florian Perroud:
An Alternative to SAT-Based Approaches for Bit-Vectors.
TACAS 2010: 84-98 |
| 2009 |
|---|
| 4 | | Sébastien Bardin,
Philippe Herrmann:
Pruning the Search Space in Path-Based Test Generation.
ICST 2009: 240-249 |
| 2008 |
|---|
| 3 | | Sébastien Bardin,
Philippe Herrmann:
Structural Testing of Executables.
ICST 2008: 22-31 |
| 1999 |
|---|
| 2 | | Philippe Herrmann:
Renaming is Necessary in Timed Regular Expressions.
FSTTCS 1999: 47-59 |
| 1998 |
|---|
| 1 | | Philippe Herrmann:
Timed Automata and Recognizability.
Inf. Process. Lett. 65(6): 313-318 (1998) |
Data released under the ODC-BY 1.0 license — See also our legal information page