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

First Page	Meta Content
	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 Document Date: 2014-11-10 08:52:13 Open Document File Size: 261,04 KB Share Result on Facebook

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