Automatic Software Fault Localization Using Generic Program Invariants

Rui Abreu Alberto González Peter Zoeteweij Arjan J. C. van Gemund 2008 Automatic Software Fault Localization Using Generic Program Invariants Proceedings of the 2008 ACM Symposium on Applied Computing SAC '08 ACM

New York, NY, USA

712–717 10.1145/1363686.1363855 A. W. Biermann J. A. Feldman 1972 On the Synthesis of Finite-State Machines from Samples of Their Behavior IEEE Transactions on Computers C-21 6 592–597 10.1109/TC.1972.5009015 Marat Boshernitsan Roongko Doong Alberto Savoia 2006 From Daikon to Agitator: Lessons and Challenges in Building a Commercial Tool for Developer Testing Proceedings of the 2006 International Symposium on Software Testing and Analysis ISSTA '06 ACM

New York, NY, USA

169–180 10.1145/1146238.1146258 Cristiano Calcagno Dino Distefano 2011 Infer: An Automatic Program Verifier for Memory Safety of C Programs Proceedings of the Third International Conference on NASA Formal Methods NFM'11 Springer-Verlag

Berlin, Heidelberg

459–465 10.1007/978-3-642-20398-5_33 L. Cardamone A. Mocci C. Ghezzi 2011 Dynamic synthesis of program invariants using genetic programming 2011 IEEE Congress of Evolutionary Computation (CEC) 624–631 10.1109/CEC.2011.5949677 Jake Cobb James A. Jones Gregory M. Kapfhammer Mary Jean Harrold 2011 Dynamic Invariant Detection for Relational Databases Proceedings of the Ninth International Workshop on Dynamic Analysis WODA '11 ACM

New York, NY, USA

12–17 10.1145/2002951.2002955 Christoph Csallner Nikolai Tillmann Yannis Smaragdakis 2008 DySy: Dynamic Symbolic Execution for Invariant Inference Proceedings of the 30th International Conference on Software Engineering ICSE '08 ACM

New York, NY, USA

281–290 10.1145/1368088.1368127 Michael D. Ernst Adam Czeisler William G. Griswold David Notkin 2000 Quickly Detecting Relevant Program Invariants Proceedings of the 22Nd International Conference on Software Engineering ICSE '00 ACM

New York, NY, USA

449–458 10.1145/337180.337240 Michael D. Ernst Jeff H. Perkins Philip J. Guo Stephen McCamant Carlos Pacheco Matthew S. Tschantz Chen Xiao 2007 The Daikon System for Dynamic Detection of Likely Invariants Sci. Comput. Program. 69 1-3 35–45 10.1016/j.scico.2007.01.015 Cormac Flanagan K. Rustan M. Leino Mark Lillibridge Greg Nelson James B. Saxe Raymie Stata 2002 Extended Static Checking for Java Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation PLDI '02 ACM

New York, NY, USA

234–245 10.1145/512529.512558 E Mark Gold 1978 Complexity of automaton identification from given data Information and Control 37 3 302 – 320 10.1016/S0019-9958(78)90562-4 http://www.sciencedirect.com/science/article/pii/S0019995878905624 N. Gupta Z. V. Heidepriem 2003 A new structural coverage criterion for dynamic detection of program invariants 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. 49–58 10.1109/ASE.2003.1240294 Sudheendra Hangal Monica S. Lam 2002 Tracking Down Software Bugs Using Automatic Anomaly Detection Proceedings of the 24th International Conference on Software Engineering ICSE '02 ACM

New York, NY, USA

291–301 10.1145/581339.581377 Michael Harder Jeff Mellen Michael D. Ernst 2003 Improving Test Suites via Operational Abstraction Proceedings of the 25th International Conference on Software Engineering ICSE '03 IEEE Computer Society

Washington, DC, USA

60–71 http://dl.acm.org/citation.cfm?id=776816.776824 Davide Lorenzoli Leonardo Mariani Mauro Pezzè 2008 Automatic Generation of Software Behavioral Models Proceedings of the 30th International Conference on Software Engineering ICSE '08 ACM

New York, NY, USA

501–510 10.1145/1368088.1368157 L. Mariani 2004 Behavior capture and test for verifying evolving component-based systems Proceedings. 26th International Conference on Software Engineering 78–80 10.1109/ICSE.2004.1317429 Jeremy W. Nimmer Michael D. Ernst 2002 Automatic Generation of Program Specifications Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis ISSTA '02 ACM

New York, NY, USA

229–239 10.1145/566172.566213 M. Papadakis N. Malevris 2010 Automatic Mutation Test Case Generation via Dynamic Symbolic Execution 2010 IEEE 21st International Symposium on Software Reliability Engineering 121–130 10.1109/ISSRE.2010.38 Jeff H. Perkins Michael D. Ernst 2004 Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants Proceedings of the 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering SIGSOFT '04/FSE-12 ACM

New York, NY, USA

23–32 10.1145/1029894.1029901 Nadia Polikarpova Ilinca Ciupa Bertrand Meyer 2009 A Comparative Study of Programmer-written and Automatically Inferred Contracts Proceedings of the Eighteenth International Symposium on Software Testing and Analysis ISSTA '09 ACM

New York, NY, USA

93–104 10.1145/1572272.1572284 Brock Pytlik Manos Renieris Shriram Krishnamurthi Steven P. Reiss 2003 Automated Fault Localization Using Potential Invariants CoRR cs.SE/0310040 http://arxiv.org/abs/cs.SE/0310040 Murali Krishna Ramanathan Ananth Grama Suresh Jagannathan 2007 Static Specification Inference Using Predicate Mining SIGPLAN Not. 42 6 123–134 10.1145/1273442.1250749 David Schuler Valentin Dallmeier Andreas Zeller 2009 Efficient Mutation Testing by Checking Invariant Violations Proceedings of the Eighteenth International Symposium on Software Testing and Analysis ISSTA '09 ACM

New York, NY, USA

69–80 10.1145/1572272.1572282 Paolo Tonella Alessandro Marchetto Cu Duy Nguyen Yue Jia Kiran Lakhotia Mark Harman 2012 Finding the Optimal Balance Between Over and Under Approximation of Models Inferred from Execution Logs Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation ICST '12 IEEE Computer Society

Washington, DC, USA

21–30 10.1109/ICST.2012.82 Tao Xie David Notkin 2004 Mutually Enhancing Test Generation and Specification Inference 60–69 Springer Berlin Heidelberg

Berlin, Heidelberg

10.1007/978-3-540-24617-6_5 Lingming Zhang Guowei Yang Neha Rungta Suzette Person Sarfraz Khurshid 2014 Feedback-driven Dynamic Invariant Discovery Proceedings of the 2014 International Symposium on Software Testing and Analysis ISSTA 2014 ACM

New York, NY, USA

362–372 10.1145/2610384.2610389