Documents Related by Co-Citation

484 Symbolic Executed and Program Testing – J C King - 1976
393 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
293 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
265 A static analyzer for finding dynamic programming errors – William R Bush, Jonathan D Pincus, David J Sielaff
48 Tool-assisted unit test selection based on operational violations – Tao Xie, David Notkin - 2003
131 Jcrasher: an automatic robustness tester for java – Christoph Csallner, Yannis Smaragdakis - 2004
77 Generating Tests from Counterexamples – Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar - 2004
396 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
141 Test Input Generation with Java PathFinder – Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
117 A Simple and Practical Approach to Unit Testing: The JML and JUnit Way – Yoonsik Cheon, Gary T. Leavens, Yoonsik Cheon, Gary T. Leavens - 2002
180 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
544 Dynamically discovering likely program invariants to support program evolution – Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint - 2001
31 An Informal Formal Method for Systematic JUnit Test Case Generation – David Stotts, Mark Lindsey, Angus Antley - 2002
311 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
410 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
68 Generating Finite State Machines from Abstract State Machines – Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes - 2002
374 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
91 Automatic test data generation using constraint solving techniques – A Gotlieb, B Botella, M Rueher - 1998
571 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