@inproceedings(AutSoftFaultLocUGenProgInv, author = {Rui Abreu and Alberto Gonz\'{a}lez and Peter Zoeteweij and Arjan J. C. van Gemund}, year = {2008}, title = {Automatic Software Fault Localization Using Generic Program Invariants}, booktitle = {Proceedings of the 2008 ACM Symposium on Applied Computing}, series = {SAC '08}, publisher = {ACM}, address = {New York, NY, USA}, pages = {712--717}, doi = {10.1145/1363686.1363855}, ) @article(Ktail, author = {A. W. Biermann and J. A. Feldman}, year = {1972}, title = {On the Synthesis of Finite-State Machines from Samples of Their Behavior}, journal = {IEEE Transactions on Computers}, volume = {C-21}, number = {6}, pages = {592--597}, doi = {10.1109/TC.1972.5009015}, ) @inproceedings(DaikonToAgitator, author = {Marat Boshernitsan and Roongko Doong and Alberto Savoia}, year = {2006}, title = {From Daikon to Agitator: Lessons and Challenges in Building a Commercial Tool for Developer Testing}, booktitle = {Proceedings of the 2006 International Symposium on Software Testing and Analysis}, series = {ISSTA '06}, publisher = {ACM}, address = {New York, NY, USA}, pages = {169--180}, doi = {10.1145/1146238.1146258}, ) @inproceedings(InferStatAnalysis, author = {Cristiano Calcagno and Dino Distefano}, year = {2011}, title = {Infer: An Automatic Program Verifier for Memory Safety of C Programs}, booktitle = {Proceedings of the Third International Conference on NASA Formal Methods}, series = {NFM'11}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, pages = {459--465}, doi = {10.1007/978-3-642-20398-5\_33}, ) @inproceedings(DynSyntProgInvUGenProg, author = {L. Cardamone and A. Mocci and C. Ghezzi}, year = {2011}, title = {Dynamic synthesis of program invariants using genetic programming}, booktitle = {2011 IEEE Congress of Evolutionary Computation (CEC)}, pages = {624--631}, doi = {10.1109/CEC.2011.5949677}, ) @inproceedings(DynDataBase, author = {Jake Cobb and James A. Jones and Gregory M. Kapfhammer and Mary Jean Harrold}, year = {2011}, title = {Dynamic Invariant Detection for Relational Databases}, booktitle = {Proceedings of the Ninth International Workshop on Dynamic Analysis}, series = {WODA '11}, publisher = {ACM}, address = {New York, NY, USA}, pages = {12--17}, doi = {10.1145/2002951.2002955}, ) @inproceedings(DySy, author = {Christoph Csallner and Nikolai Tillmann and Yannis Smaragdakis}, year = {2008}, title = {DySy: Dynamic Symbolic Execution for Invariant Inference}, booktitle = {Proceedings of the 30th International Conference on Software Engineering}, series = {ICSE '08}, publisher = {ACM}, address = {New York, NY, USA}, pages = {281--290}, doi = {10.1145/1368088.1368127}, ) @inproceedings(QuickDetRelProgInv, author = {Michael D. Ernst and Adam Czeisler and William G. Griswold and David Notkin}, year = {2000}, title = {Quickly Detecting Relevant Program Invariants}, booktitle = {Proceedings of the 22Nd International Conference on Software Engineering}, series = {ICSE '00}, publisher = {ACM}, address = {New York, NY, USA}, pages = {449--458}, doi = {10.1145/337180.337240}, ) @article(Daikon, author = {Michael D. Ernst and Jeff H. Perkins and Philip J. Guo and Stephen McCamant and Carlos Pacheco and Matthew S. Tschantz and Chen Xiao}, year = {2007}, title = {The Daikon System for Dynamic Detection of Likely Invariants}, journal = {Sci. Comput. Program.}, volume = {69}, number = {1-3}, pages = {35--45}, doi = {10.1016/j.scico.2007.01.015}, ) @inproceedings(ESCJAVA, author = {Cormac Flanagan and K. Rustan M. Leino and Mark Lillibridge and Greg Nelson and James B. Saxe and Raymie Stata}, year = {2002}, title = {Extended Static Checking for Java}, booktitle = {Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation}, series = {PLDI '02}, publisher = {ACM}, address = {New York, NY, USA}, pages = {234--245}, doi = {10.1145/512529.512558}, ) @article(GOLD1978302, author = {E Mark Gold}, year = {1978}, title = {Complexity of automaton identification from given data}, journal = {Information and Control}, volume = {37}, number = {3}, pages = {302 -- 320}, doi = {10.1016/S0019-9958(78)90562-4}, url = {http://www.sciencedirect.com/science/article/pii/S0019995878905624}, ) @inproceedings(Gupta, author = {N. Gupta and Z. V. Heidepriem}, year = {2003}, title = {A new structural coverage criterion for dynamic detection of program invariants}, booktitle = {18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.}, pages = {49--58}, doi = {10.1109/ASE.2003.1240294}, ) @inproceedings(SoftBugDetAnomalyDet, author = {Sudheendra Hangal and Monica S. Lam}, year = {2002}, title = {Tracking Down Software Bugs Using Automatic Anomaly Detection}, booktitle = {Proceedings of the 24th International Conference on Software Engineering}, series = {ICSE '02}, publisher = {ACM}, address = {New York, NY, USA}, pages = {291--301}, doi = {10.1145/581339.581377}, ) @inproceedings(ImpTestSuitesViaOpAbst, author = {Michael Harder and Jeff Mellen and Michael D. Ernst}, year = {2003}, title = {Improving Test Suites via Operational Abstraction}, booktitle = {Proceedings of the 25th International Conference on Software Engineering}, series = {ICSE '03}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, pages = {60--71}, url = {http://dl.acm.org/citation.cfm?id=776816.776824}, ) @inproceedings(AutGenSoftBehMod, author = {Davide Lorenzoli and Leonardo Mariani and Mauro Pezz\`{e}}, year = {2008}, title = {Automatic Generation of Software Behavioral Models}, booktitle = {Proceedings of the 30th International Conference on Software Engineering}, series = {ICSE '08}, publisher = {ACM}, address = {New York, NY, USA}, pages = {501--510}, doi = {10.1145/1368088.1368157}, ) @inproceedings(BCT, author = {L. Mariani}, year = {2004}, title = {Behavior capture and test for verifying evolving component-based systems}, booktitle = {Proceedings. 26th International Conference on Software Engineering}, pages = {78--80}, doi = {10.1109/ICSE.2004.1317429}, ) @inproceedings(AutGenOfProgSpec, author = {Jeremy W. Nimmer and Michael D. Ernst}, year = {2002}, title = {Automatic Generation of Program Specifications}, booktitle = {Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis}, series = {ISSTA '02}, publisher = {ACM}, address = {New York, NY, USA}, pages = {229--239}, doi = {10.1145/566172.566213}, ) @inproceedings(AutMutTestGenDynSymExec, author = {M. Papadakis and N. Malevris}, year = {2010}, title = {Automatic Mutation Test Case Generation via Dynamic Symbolic Execution}, booktitle = {2010 IEEE 21st International Symposium on Software Reliability Engineering}, pages = {121--130}, doi = {10.1109/ISSRE.2010.38}, ) @inproceedings(EffIncAlgDynDetLikInv, author = {Jeff H. Perkins and Michael D. Ernst}, year = {2004}, title = {Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants}, booktitle = {Proceedings of the 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering}, series = {SIGSOFT '04/FSE-12}, publisher = {ACM}, address = {New York, NY, USA}, pages = {23--32}, doi = {10.1145/1029894.1029901}, ) @inproceedings(CompStudyProgWrittenAutInfCont, author = {Nadia Polikarpova and Ilinca Ciupa and Bertrand Meyer}, year = {2009}, title = {A Comparative Study of Programmer-written and Automatically Inferred Contracts}, booktitle = {Proceedings of the Eighteenth International Symposium on Software Testing and Analysis}, series = {ISSTA '09}, publisher = {ACM}, address = {New York, NY, USA}, pages = {93--104}, doi = {10.1145/1572272.1572284}, ) @article(FaultLocPotInv, author = {Brock Pytlik and Manos Renieris and Shriram Krishnamurthi and Steven P. Reiss}, year = {2003}, title = {Automated Fault Localization Using Potential Invariants}, journal = {CoRR}, volume = {cs.SE/0310040}, url = {http://arxiv.org/abs/cs.SE/0310040}, ) @article(StatSpecInf, author = {Murali Krishna Ramanathan and Ananth Grama and Suresh Jagannathan}, year = {2007}, title = {Static Specification Inference Using Predicate Mining}, journal = {SIGPLAN Not.}, volume = {42}, number = {6}, pages = {123--134}, doi = {10.1145/1273442.1250749}, ) @inproceedings(EffMutTestInvViol, author = {David Schuler and Valentin Dallmeier and Andreas Zeller}, year = {2009}, title = {Efficient Mutation Testing by Checking Invariant Violations}, booktitle = {Proceedings of the Eighteenth International Symposium on Software Testing and Analysis}, series = {ISSTA '09}, publisher = {ACM}, address = {New York, NY, USA}, pages = {69--80}, doi = {10.1145/1572272.1572282}, ) @inproceedings(OverUnderApprox, author = {Paolo Tonella and Alessandro Marchetto and Cu Duy Nguyen and Yue Jia and Kiran Lakhotia and Mark Harman}, year = {2012}, title = {Finding the Optimal Balance Between Over and Under Approximation of Models Inferred from Execution Logs}, booktitle = {Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation}, series = {ICST '12}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, pages = {21--30}, doi = {10.1109/ICST.2012.82}, ) @inbook(MutTestGen, author = {Tao Xie and David Notkin}, year = {2004}, title = {Mutually Enhancing Test Generation and Specification Inference}, pages = {60--69}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, doi = {10.1007/978-3-540-24617-6\_5}, ) @inproceedings(FeedDrivDynInvDisc, author = {Lingming Zhang and Guowei Yang and Neha Rungta and Suzette Person and Sarfraz Khurshid}, year = {2014}, title = {Feedback-driven Dynamic Invariant Discovery}, booktitle = {Proceedings of the 2014 International Symposium on Software Testing and Analysis}, series = {ISSTA 2014}, publisher = {ACM}, address = {New York, NY, USA}, pages = {362--372}, doi = {10.1145/2610384.2610389}, )