Philippe Herrmann

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
j2		Sébastien Bardin, Philippe Herrmann: OSMOSE: automatic structural testing of executables. Softw. Test., Verif. Reliab. 21(1): 29-54 (2011)
c6		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
c5		Sébastien Bardin, Philippe Herrmann, Franck Védrine: Refinement-Based CFG Reconstruction from Unstructured Programs. VMCAI 2011: 54-69
	2010
c4		Sébastien Bardin, Philippe Herrmann, Florian Perroud: An Alternative to SAT-Based Approaches for Bit-Vectors. TACAS 2010: 84-98
	2009
c3		Sébastien Bardin, Philippe Herrmann: Pruning the Search Space in Path-Based Test Generation. ICST 2009: 240-249
	2008
c2		Sébastien Bardin, Philippe Herrmann: Structural Testing of Executables. ICST 2008: 22-31
	1999
c1		Philippe Herrmann: Renaming is Necessary in Timed Regular Expressions. FSTTCS 1999: 47-59
	1998
j1		Philippe Herrmann: Timed Automata and Recognizability. Inf. Process. Lett. 65(6): 313-318 (1998)

Coauthor Index

Last update Wed May 22 08:11:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page