A CIL Tutorial - Department of Computer Science - ETH Zürich
A CIL Tutorial - Department of Computer Science - ETH Zürich
A CIL Tutorial - Department of Computer Science - ETH Zürich
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
References<br />
[1] J. Burnim and K. Sen. Heuristics for scalable dynamic test generation. In Proceedings <strong>of</strong> the<br />
2008 23rd IEEE/ACM International Conference on Automated S<strong>of</strong>tware Engineering, ASE '08,<br />
pages 443446, Washington, DC, USA, 2008. IEEE <strong>Computer</strong> Society.<br />
[2] Bruno Dutertre and Leonardo de Moura. A fast linear-arithmetic solver for dpll(t). In Proceedings<br />
<strong>of</strong> the 18th international conference on <strong>Computer</strong> Aided Verication, CAV'06, pages 8194,<br />
Berlin, Heidelberg, 2006. Springer-Verlag.<br />
[3] Patrice Godefroid, Nils Klarlund, and Koushik Sen. Dart: directed automated random testing.<br />
In Proceedings <strong>of</strong> the 2005 ACM SIGPLAN conference on Programming language design and<br />
implementation, PLDI '05, pages 213223, New York, NY, USA, 2005. ACM.<br />
[4] Koushik Sen, Darko Marinov, and Gul Agha. Cute: a concolic unit testing engine for c. In Proceedings<br />
<strong>of</strong> the 10th European s<strong>of</strong>tware engineering conference held jointly with 13th ACM SIG-<br />
SOFT international symposium on Foundations <strong>of</strong> s<strong>of</strong>tware engineering, ESEC/FSE-13, pages<br />
263272, New York, NY, USA, 2005. ACM.<br />
[5] Nikolai Tillmann and Jonathan De Halleux. Pex: white box test generation for .net. In Proceedings<br />
<strong>of</strong> the 2nd international conference on Tests and pro<strong>of</strong>s, TAP'08, pages 134153, Berlin,<br />
Heidelberg, 2008. Springer-Verlag.<br />
132