Active Bibliography

69 Model checking one million lines of C code – Hao Chen, Drew Dean, David Wagner - 2004
18 Consistency analysis of authorization hook placement in the Linux security modules framework – Trent Jaeger, Antony Edwards, Xiaolan Zhang - 2004
2 IMPROVING SOFTWARE ASSURANCE USING LIGHTWEIGHT STATIC Analysis – Rajeev Gopalakrishna - 2006
11 Portably solving file TOCTTOU races with hardness amplification – Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva - 2008
EFFICIENT DYNAMIC DETECTION OF INPUT RELATED SOFTWARE FAULTS – Eric D. Larson - 2004
FAULTMINER: DISCOVERING UNKNOWN SOFTWARE DEFECTS USING STATIC ANALYSIS AND DATA MINING – Rajeev Gopalakrishna, Eugene H. Spafford, Jan Vitek
Portably Solving File . . . – Dan Tsafrir, TOMER HERTZ, David Wagner, Dilma Da Silva - 2008
5 Prioritizing Software Inspection Results using Static Profiling – Cathal Boogerd - 2006
Mining API Specifications from Source Code for Improving Software Reliability – MITHUN PUTHIGE ACHARYA
Generating and Inferring Interface Properties for Static Analysis – Mithun Acharya, Tao Xie, Jun Xu
11 Rule-Based Static Analysis of Network Protocol Implementations – Octavian Udrea, Cristian Lumezanu, Jeffrey S. Foster - 2006
27 Type Qualifiers: Lightweight Specifications to Improve Software Quality – Jeffrey Scott Foster - 2002
196 MOPS: an Infrastructure for Examining Security Properties of Software – Hao Chen, David Wagner - 2002
2 STING: Finding Name Resolution Vulnerabilities in Programs – Hayawardh Vijayakumar, Joshua Schiffman, Trent Jaeger
1 Protecting Applications Against TOCTTOU Races by User-Space Caching of File Metadata – Mathias Payer, Thomas R. Gross
29 Patches as Better Bug Reports – Westley Weimer - 2006
Due to their non-deterministic nature, Time of Check – Jinpeng Wei, Calton Pu
14 Exploiting unix file-system races via algorithmic complexity attacks – Xiang Cai, Yuwei Gui, Rob Johnson - 2009
5 Integration of static analysis for linux device driver verification – Hendrik Post, Wolfgang Küchlin - 2007