Documents Related by Co-Citation

540 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
313 Cute: a concolic unit testing engine for c – Koushik Sen, Darko Marinov, Gul Agha - 2005
184 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
494 Symbolic execution and program testing – James C King - 1976
129 Compositional dynamic test generation – Patrice Godefroid - 2007
1273 The model checker SPIN – Gerard J. Holzmann - 1997
210 CVC Lite: A new implementation of the cooperating validity checker – Clark Barrett, Sergey Berezin - 2004
418 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
578 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000