Active Bibliography

289 An Overview of JML Tools and Applications – Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll - 2003
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
36 Modular Data Structure Verification – Martin C. Rinard - 2007
50 Using data groups to specify and check side effects – K. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou - 2002
448 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
EFFICIENT DYNAMIC DETECTION OF INPUT RELATED SOFTWARE FAULTS – Eric D. Larson - 2004
54 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
40 Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002
186 Verification of Object-Oriented Programs with Invariants – Mike Barnett, Robert DeLine, Manuel Fähndrich, K. Rustan M. Leino, Wolfram Schulte - 2004
385 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
3 Reasoning about object structures using ownership – Peter Müller - 2005
9 Automatic Generation and Checking of Program Specifications – Jeremy W. Nimmer , Michael D. Ernst - 2001
58 Invariant Inference for Static Checking: An Empirical Evaluation – Jeremy W. Nimmer, Michael D. Ernst - 2002
unknown title – unknown authors
301 Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code – Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf - 2001
14 A Hoare Logic for Call-by-Value Functional Programs – Yann Régis-gianas, François Pottier
195 A System and Language for Building System-Specific, Static Analyses – Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler - 2002
8 An overview of the Jahob analysis system: Project goals and current status – Viktor Kuncak, Martin Rinard - 2006
2 Automatic inference of frame axioms using static analysis – Zvonimir Rakamarić, Alan J. Hu - 2008