Documents Related by Co-Citation

475 Symbolic execution and program testing – J C King - 1976
390 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
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
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
78 Generating Tests from Counterexamples – Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar - 2004
400 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
140 Test Input Generation with Java PathFinder – Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
176 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
115 A Simple and Practical Approach to Unit Testing: The JML and JUnit Way – Yoonsik Cheon, Gary T. Leavens, Yoonsik Cheon, Gary T. Leavens - 2002
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
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
405 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
369 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
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
68 Generating Finite State Machines from Abstract State Machines – Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes - 2002
91 Automatic test data generation using constraint solving techniques – A Gotlieb, B Botella, M Rueher - 1998