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