Documents Related by Co-Citation

522 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
299 Cute: a concolic unit testing engine for c – Koushik Sen, Darko Marinov, Gul Agha - 2005
176 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
204 CVC Lite: A new implementation of the cooperating validity checker – Clark Barrett, Sergey Berezin - 2004
122 Compositional dynamic test generation – P Godefroid - 2007
475 Symbolic execution and program testing – J C King - 1976
1254 The model checker SPIN – Gerard J. Holzmann - 1997
245 Vigilante: End-to-End Containment of Internet Worm Epidemics – Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham - 2008
567 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
75 Automated Test Data Generation Using An Iterative Relaxation Method – Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa - 1998
83 Hybrid concolic testing – R Majumdar, K Sen - 2007
72 SELECT: a formal system for testing and debugging programs by symbolic execution – R S Boyer, B Elspas, K N Levitt - 1975
266 A static analyzer for finding dynamic programming errors. Software - Practice and Experiance 2000;(30):775–802 – W R Bush, J D Pincus, D J Sielaff
226 EXE: Automatically generating inputs of death – Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler - 2006
128 A decision procedure for bitvectors and arrays – Vijayganeshanddavidl. Dill - 2007
168 Automated Whitebox Fuzz Testing – Patrice Godefroid, Michael Y. Levin, David Molnar
115 Symstra: A framework for generating object-oriented unit tests using symbolic execution – Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin - 2005
131 Jcrasher: an automatic robustness tester for java – Christoph Csallner, Yannis Smaragdakis - 2004
54 High Coverage Detection of Input-Related Security Faults – Eric Larson, Todd Austin - 2003