Model Checking for Programming Languages using VeriSoft (1997)

Cached

Download Links

by Patrice Godefroid
Venue:IN PROCEEDINGS OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:369 - 12 self

Documents Related by Co-Citation

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
1254 The model checker SPIN – Gerard J. Holzmann - 1997
45 Model checking programs – G Brat, K Havelund, S Park, W Visser - 2000
462 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
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
291 Extended static checking – David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe - 1998
400 Automatic predicate abstraction of C programs – Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani - 2001
278 Korat: Automated testing based on Java predicates – Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov - 2002
84 A deadlock detection tool for concurrent Java programs. SPE – C DeMartini, R Iosif, R Sisto - 1999
25 From Code to Models – Gerard J. Holzmann - 2000
2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
40 Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
140 Test Input Generation with Java PathFinder – Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
405 CIL: Intermediate language and tools for analysis and transformation of C programs – George C. Necula, Scott Mcpeak, Shree P. Rahul, Westley Weimer - 2002
522 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
37 The Pointer Assertion Logic Engine – A Moeller, M I Schwartzbach - 2001
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996