Finding what’s not there: A new approach to revealing neglected conditions in software (2007)


Download Links

by Ray-yuang Chang
Venue:In Proc. International Symposium on Software Testing and Analysis (ISSTA
Citations:21 - 0 self

Documents Related by Co-Citation

112 PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code – Zhenmin Li, Yuanyuan Zhou - 2005
291 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
106 Perracotta: mining temporal API rules from imperfect traces – Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das - 2006
305 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
48 Mining API patterns as partial orders from source code: From usage scenarios to specifications – Mithun Acharya, Tao Xie, Jian Pei, Jun Xu - 2007
141 Automatic Extraction of Object-Oriented Component Interfaces – John Whaley, Michael Martin, Monica Lam - 2002
544 Dynamically Discovering Likely Program Invariants to Support Program Evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin
83 Mining Temporal Specifications for Error Detection – Westley Weimer, George C. Necula - 2005
44 Detecting Object Usage Anomalies – Andrzej Wasylkowski, Andreas Zeller, Christian Lindig - 2007