Rui Abreu, Alberto González, Peter Zoeteweij & Arjan J. C. van Gemund (2008):
Automatic Software Fault Localization Using Generic Program Invariants.
In: Proceedings of the 2008 ACM Symposium on Applied Computing,
SAC '08.
ACM,
New York, NY, USA,
pp. 712–717,
doi: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),
pp. 592–597,
doi: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.
In: Proceedings of the 2006 International Symposium on Software Testing and Analysis,
ISSTA '06.
ACM,
New York, NY, USA,
pp. 169–180,
doi:10.1145/1146238.1146258.
Cristiano Calcagno & Dino Distefano (2011):
Infer: An Automatic Program Verifier for Memory Safety of C Programs.
In: Proceedings of the Third International Conference on NASA Formal Methods,
NFM'11.
Springer-Verlag,
Berlin, Heidelberg,
pp. 459–465,
doi:10.1007/978-3-642-20398-5_33.
L. Cardamone, A. Mocci & C. Ghezzi (2011):
Dynamic synthesis of program invariants using genetic programming.
In: 2011 IEEE Congress of Evolutionary Computation (CEC),
pp. 624–631,
doi:10.1109/CEC.2011.5949677.
Jake Cobb, James A. Jones, Gregory M. Kapfhammer & Mary Jean Harrold (2011):
Dynamic Invariant Detection for Relational Databases.
In: Proceedings of the Ninth International Workshop on Dynamic Analysis,
WODA '11.
ACM,
New York, NY, USA,
pp. 12–17,
doi:10.1145/2002951.2002955.
Christoph Csallner, Nikolai Tillmann & Yannis Smaragdakis (2008):
DySy: Dynamic Symbolic Execution for Invariant Inference.
In: Proceedings of the 30th International Conference on Software Engineering,
ICSE '08.
ACM,
New York, NY, USA,
pp. 281–290,
doi:10.1145/1368088.1368127.
Michael D. Ernst, Adam Czeisler, William G. Griswold & David Notkin (2000):
Quickly Detecting Relevant Program Invariants.
In: Proceedings of the 22Nd International Conference on Software Engineering,
ICSE '00.
ACM,
New York, NY, USA,
pp. 449–458,
doi: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),
pp. 35–45,
doi: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.
In: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation,
PLDI '02.
ACM,
New York, NY, USA,
pp. 234–245,
doi:10.1145/512529.512558.
N. Gupta & Z. V. Heidepriem (2003):
A new structural coverage criterion for dynamic detection of program invariants.
In: 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.,
pp. 49–58,
doi:10.1109/ASE.2003.1240294.
Sudheendra Hangal & Monica S. Lam (2002):
Tracking Down Software Bugs Using Automatic Anomaly Detection.
In: Proceedings of the 24th International Conference on Software Engineering,
ICSE '02.
ACM,
New York, NY, USA,
pp. 291–301,
doi:10.1145/581339.581377.
Michael Harder, Jeff Mellen & Michael D. Ernst (2003):
Improving Test Suites via Operational Abstraction.
In: Proceedings of the 25th International Conference on Software Engineering,
ICSE '03.
IEEE Computer Society,
Washington, DC, USA,
pp. 60–71.
Available at http://dl.acm.org/citation.cfm?id=776816.776824.
Davide Lorenzoli, Leonardo Mariani & Mauro Pezzè (2008):
Automatic Generation of Software Behavioral Models.
In: Proceedings of the 30th International Conference on Software Engineering,
ICSE '08.
ACM,
New York, NY, USA,
pp. 501–510,
doi:10.1145/1368088.1368157.
L. Mariani (2004):
Behavior capture and test for verifying evolving component-based systems.
In: Proceedings. 26th International Conference on Software Engineering,
pp. 78–80,
doi:10.1109/ICSE.2004.1317429.
Jeremy W. Nimmer & Michael D. Ernst (2002):
Automatic Generation of Program Specifications.
In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis,
ISSTA '02.
ACM,
New York, NY, USA,
pp. 229–239,
doi:10.1145/566172.566213.
M. Papadakis & N. Malevris (2010):
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution.
In: 2010 IEEE 21st International Symposium on Software Reliability Engineering,
pp. 121–130,
doi:10.1109/ISSRE.2010.38.
Jeff H. Perkins & Michael D. Ernst (2004):
Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants.
In: Proceedings of the 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering,
SIGSOFT '04/FSE-12.
ACM,
New York, NY, USA,
pp. 23–32,
doi:10.1145/1029894.1029901.
Nadia Polikarpova, Ilinca Ciupa & Bertrand Meyer (2009):
A Comparative Study of Programmer-written and Automatically Inferred Contracts.
In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis,
ISSTA '09.
ACM,
New York, NY, USA,
pp. 93–104,
doi:10.1145/1572272.1572284.
Brock Pytlik, Manos Renieris, Shriram Krishnamurthi & Steven P. Reiss (2003):
Automated Fault Localization Using Potential Invariants.
CoRR cs.SE/0310040.
Available at http://arxiv.org/abs/cs.SE/0310040.
David Schuler, Valentin Dallmeier & Andreas Zeller (2009):
Efficient Mutation Testing by Checking Invariant Violations.
In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis,
ISSTA '09.
ACM,
New York, NY, USA,
pp. 69–80,
doi: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.
In: Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation,
ICST '12.
IEEE Computer Society,
Washington, DC, USA,
pp. 21–30,
doi:10.1109/ICST.2012.82.
Tao Xie & David Notkin (2004):
Mutually Enhancing Test Generation and Specification Inference,
pp. 60–69.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-540-24617-6_5.
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person & Sarfraz Khurshid (2014):
Feedback-driven Dynamic Invariant Discovery.
In: Proceedings of the 2014 International Symposium on Software Testing and Analysis,
ISSTA 2014.
ACM,
New York, NY, USA,
pp. 362–372,
doi:10.1145/2610384.2610389.