Sophie Fortz, Ph.D.
Sophie Fortz, Ph.D.
Home
Experience
Publications
Teaching activities
Service activities
PhD project
Curriculum Vitae
Light
Dark
Automatic
Concolic Testing
An SMT-based concolic testing tool for logic programs
Concolic testing combines symbolic and concrete execution to generate test cases that achieve a good program coverage. Its benefits …
Sophie Fortz
,
Fred Mesnard
,
Etienne Payet
,
Gilles Perrouin
,
Wim Vanhoof
,
German Vidal
PDF
Cite
DOI
Cite
×