References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. E Mark Gold (1978): Complexity of automaton identification from given data. Information and Control 37(3), pp. 302 – 320, doi:10.1016/S0019-9958(78)90562-4. Available at http://www.sciencedirect.com/science/article/pii/S0019995878905624.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. Murali Krishna Ramanathan, Ananth Grama & Suresh Jagannathan (2007): Static Specification Inference Using Predicate Mining. SIGPLAN Not. 42(6), pp. 123–134, doi:10.1145/1273442.1250749.
  23. 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.
  24. 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.
  25. 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.
  26. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org