|
348
|
Automatically validating temporal safety properties of interfaces
– Thomas Ball, Sriram K. Rajamani
- 2001
|
|
18
|
Checking system rules using system-speci c, programmerwritten compiler extensions
– D Engler, B Chelf, A Chou, S Hallem
- 2000
|
|
347
|
Enforcing High-Level Protocols in Low-Level Software
– Robert DeLine, Manuel Fahndrich
- 2001
|
|
242
|
A static analyzer for finding dynamic programming errors. Software—Practice and Experience
– W R Bush, J D Pincus, D J Sielaff
- 2000
|
|
322
|
Flow-Sensitive Type Qualifiers
– Jeffrey S. Foster, Tachio Terauchi, Alex Aiken
- 2002
|
|
245
|
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
|
|
348
|
Automatic predicate abstraction of C programs
– Thomas Ball , Rupak Majumdar, Todd Millstein, Sriram K. Rajamani
- 2001
|
|
314
|
A First Step towards Automated Detection of Buffer Overrun Vulnerabilities
– David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken
- 2000
|
|
520
|
Construction of abstract state graphs with PVS
– Susanne Graf, Hassen Saidi
- 1997
|
|
189
|
Typestate: A programming language concept for enhancing software reliability
– R E Strom, S Yemini
- 1986
|
|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
|
23
|
A rst step towards automated detection of bu er overrun vulnerabilities
– D Wagner, J Foster, E Brewer, A Aiken
- 2000
|
|
2026
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
181
|
A System and Language for Building System-Specific, Static Analyses
– Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler
- 2002
|
|
378
|
Lazy Abstraction
– Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre
- 2002
|
|
146
|
Static Detection of Dynamic Memory Errors
– David Evans
- 1996
|
|
467
|
Dynamically discovering likely program invariants to support program evolution
– Michael D. Ernst, Jake Cockrelit, William G. Griswoldt, David Notkint
- 2001
|
|
1364
|
Aspect-oriented programming
– Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Lopes, Jean-marc Loingtier, John Irwin
- 1997
|
|
104
|
LCLint: A Tool for Using Specifications to Check Code
– David Evans, John Guttag, James Horning, Yang Meng Tan
- 1994
|
