BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Norway
3 × USA
Collaborated with:
S.Bardin F.Védrine F.Perroud J.Leroux O.Ly R.Tabary A.Vincent
Talks about:
base (3) test (2) reconstruct (1) unstructur (1) framework (1) structur (1) approach (1) program (1) generat (1) analysi (1)

Person: Philippe Herrmann

DBLP DBLP: Herrmann:Philippe

Contributed to:

CAV 20112011
VMCAI 20112011
TACAS 20102010
ICST 20092009
ICST 20082008

Wrote 5 papers:

CAV-2011-BardinHLLTV #analysis #framework
The BINCOA Framework for Binary Code Analysis (SB, PH, JL, OL, RT, AV), pp. 165–170.
VMCAI-2011-BardinHV #context-free grammar #re-engineering #source code
Refinement-Based CFG Reconstruction from Unstructured Programs (SB, PH, FV), pp. 54–69.
TACAS-2010-BardinHP #satisfiability
An Alternative to SAT-Based Approaches for Bit-Vectors (SB, PH, FP), pp. 84–98.
ICST-2009-BardinH #generative #testing
Pruning the Search Space in Path-Based Test Generation (SB, PH), pp. 240–249.
ICST-2008-BardinH #bytecode #testing
Structural Testing of Executables (SB, PH), pp. 22–31.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.