|
|
The Set-Check-Use Methodology for Detecting Error Propagation
– Failures In Routines, Michael W. Bigrigg
- 2002
|
|
|
Workshop on Reliable Embedded Systems, in conjunction with the 20th 1EEE Symposium on Reliable Distributed Systems
– October New Orleans, Michael W. Bigrigg, Joseph G. Slember
- 2001
|
|
273
|
Extended static checking
– David L. Detlefs, K. Rustan M. Leino, Greg Nelson, James B. Saxe
- 1998
|
|
16
|
Calysto: Scalable and Precise Extended Static Checking
– Domagoj Babić, Alan J. Hu
- 2008
|
|
15
|
Preventing Format-String Attacks via Automatic and Efficient Dynamic Checking
– Michael F. Ringenburg, Dan Grossman
- 2005
|
|
1
|
On the role of static analysis in operating system checking and runtime verification
– Abhishek Rai
- 2005
|
|
1
|
DMTracker: Finding Bugs in Large-Scale Parallel Programs by Detecting Anomaly in Data Movements
– Qi Gao, Feng Qin, Dhabaleswar K. Panda
|
|
3
|
Prioritizing Software Inspection Results using Static Profiling
– Cathal Boogerd
- 2006
|
|
3
|
UNO: Static Source Code Checking for UserDefined Properties
– Gerard J. Holzmann
- 2002
|
|
|
System Support for . . . PRODUCTION RUNS
– Feng Qin
- 2006
|
|
27
|
Applying source-code verification to a microkernel -- The VFiasco project
– Michael Hohmuth, Hendrik Tews, Shane G. Stephens
- 2002
|
|
20
|
Correlation exploitation in error ranking
– Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson Engler
- 2004
|
|
31
|
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
– Ted Kremenek, Dawson Engler
- 2003
|
|
27
|
Static Source Code Checking for User-Defined Properties
– Gerard J. Holzmann
- 2002
|
|
12
|
Incorporating Domain-Specific Information into the Compilation Process
– Samuel Zev Guyer
- 2003
|
|
181
|
A System and Language for Building System-Specific, Static Analyses
– Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler
- 2002
|
|
147
|
Cmc: A pragmatic approach to model checking real code
– Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill
- 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
|
|
15
|
Solving the Starting Problem: Device Drivers as Self-Describing Artifacts
– Orion Hodson, Michael F. Spear, Galen C. Hunt, Tom Roeder
- 2006
|
