Instrumentation of Annotated C Programs for Test Generation Guillaume Petiot∗† , Bernard Botella∗ , Jacques Julliand† , Nikolai Kosmatov∗ and Julien Signoles∗ ∗ CEA, LIST, Software Reliability Laboratory,

First Page		Document Content
Date: 2014-11-10 08:52:13		Instrumentation of Annotated C Programs for Test Generation Guillaume Petiot∗† , Bernard Botella∗ , Jacques Julliand† , Nikolai Kosmatov∗ and Julien Signoles∗ ∗ CEA, LIST, Software Reliability Laboratory, Add to Reading List Source URL: www.stance-project.eu Download Document from Source Website File Size: 261,04 KB Share Document on Facebook