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:23 - 0 self

Documents Related by Co-Citation

125 PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code – Zhenmin Li, Yuanyuan Zhou - 2005
121 Perracotta: mining temporal API rules from imperfect traces – Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das - 2006
313 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
327 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
57 Mining API patterns as partial orders from source code: From usage scenarios to specifications – Mithun Acharya, Tao Xie, Jian Pei, Jun Xu - 2007
123 Dynamine: Finding Common Error Patterns by Mining Software Revision Histories – Benjamin Livshits - 2005
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
91 Mining Temporal Specifications for Error Detection – Westley Weimer, George C. Necula - 2005
49 Detecting Object Usage Anomalies – Andrzej Wasylkowski, Andreas Zeller, Christian Lindig - 2007