Instrumentation of Annotated C Programs for Test Generation.

Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles

Browse the full SCAM paper archive.