Second-order constraints in dynamic invariant inference

2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings

Volumn , Issue , 2013, Pages 103-113

  Li, Kaituo ^a   Reichenbach, Christoph ^b   Smaragdakis, Yannis ^c   Young, Michal ^d  

^a University of Massachusetts Amherst   (United States)

^b GOETHE UNIVERSITY   (Germany)

^c UNIVERSITY OF ATHENS   (Greece)

^d UNIVERSITY OF OREGON   (United States)

Author keywords

Daikon; Dynamic invariant inference; Second order constraints

Indexed keywords

CONSISTENCY CONSTRAINTS; CURRENT GENERATION; DAIKON; DYNAMIC INFERENCE; DYNAMIC INVARIANTS; FIRST-ORDER; PROGRAM SEMANTICS; SECOND ORDERS;

SEMANTICS;

SOFTWARE ENGINEERING;

EID: 84883716678     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2491411.2491457     Document Type: Conference Paper

References (27)

1. Glenn Ammons, Rastislav Bodík, and James R. Larus. Mining specifications. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 4-16, New York, NY, USA, 2002. ACM Press.
2. Ivan Beschastnikh, Yuriy Brun, Sigurd Schneider, Michael Sloan, and Michael D. Ernst. Leveraging existing instrumentation to automatically infer invariant-constrained models. In Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, ESEC/FSE '11, pages 267-277, New York, NY, USA, 2011. ACM.
3. David R. Cok and Joseph R. Kiniry. ESC/Java2: Uniting ESC/Java and JML: Progress and issues in building and using ESC/Java2. Technical Report NIII-R0413, Nijmegen Institute for Computing and Information Science, May 2004.
4. Christoph Csallner and Yannis Smaragdakis. Dynamically discovering likely interface invariants. In Proc. International Conference on Software Engineering (Emerging Results Track), pages 861-864, May 2006.
5. Christoph Csallner, Nikolai Tillmann, and Yannis Smaragdakis. DySy: Dynamic symbolic execution for invariant inference. In International Conference on Software Engineering (ICSE), May 2008.
6. Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, February 2001.
7. Cormac Flanagan and K. Rustan M. Leino. Houdini, an annotation assistant for ESC/Java. In José Nuno Oliveira and Pamela Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, pages 500-517. Springer, March 2001.
8. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. In Proc. ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 234-245, June 2002.
9. Mark Gabel and Zhendong Su. Online inference and enforcement of temporal properties. In Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE '10, pages 15-24, New York, NY, USA, 2010. ACM.
10. Gerald C. Gannod and Betty H. C. Cheng. Strongest postcondition semantics as the formal basis for reverse engineering. In Proc. Second Working Conference on Reverse Engineering (WCRE), pages 188-197. IEEE, July 1995.
11. Gerald C. Gannod and Betty H. C. Cheng. A specification matching based approach to reverse engineering. In Proc. International Conference on Software Engineering, pages 389-398. ACM, May 1999.
12. Philip J. Guo, Jeff H. Perkins, Stephen McCamant, and Michael D. Ernst. Dynamic inference of abstract types. In Proceedings of the 2006 international symposium on Software testing and analysis, ISSTA '06, pages 255-265, New York, NY, USA, 2006. ACM.
13. Samuel Z. Guyer and Calvin Lin. An annotation language for optimizing software libraries. In Second Conference on Domain-Specific Languages (DSL), pages 39-52, 1999.
14. Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the 24th International Conference on Software Engineering, pages 291-301, May 2002.
15. Johannes Henkel, Christoph Reichenbach, and Amer Diwan. Discovering documentation for java container classes. IEEE Trans. Software Eng., 33(8):526-543, 2007.
16. Johannes Henkel, Christoph Reichenbach, and Amer Diwan. Developing and Debugging Algebraic Specifications for Java classes. ACM Trans. Softw. Eng. Methodol., 17(3), 2008.
17. Yamini Kannan and Koushik Sen. Universal symbolic execution and its application to likely data structure invariant generation. In ISSTA '08: Proceedings of the 2008 Int. Symposium on Software Testing and Analysis, pages 283-294, New York, NY, USA, 2008. ACM.
18. Gary T. Leavens, Albert L. Baker, and Clyde Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR98-06y, Department of Computer Science, Iowa State University, June 1998.
19. Zhenmin Li and Yuanyuan Zhou. PR-miner: automatically extracting implicit programming rules and detecting violations in large software code. In Proc. 13th International Symposium on Foundations of Software Engineering (FSE), pages 306-315. ACM, September 2005.
20. Francesco Logozzo. Automatic inference of class invariants. In Verification, Model Checking, and Abstract Interpretation (VMCAI), number 2937 in LNCS. Springer-Verlag, January 2004.
21. Francesco Logozzo. Modular Static Analysis of Object-Oriented Languages. PhD thesis, Ecole Polytechnique, June 2004.
22. Samir V. Meghani and Michael D. Ernst. Determining legal method call sequences in object interfaces, May 2003.
23. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall PTR, 2nd edition, 1997.
24. Jeff H. Perkins and Michael D. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In Proceedings of the ACM SIGSOFT 12th Symposium on the Foundations of Software Engineering (FSE 2004), pages 23-32, November 2004.
25. Mana Taghdiri. Inferring specifications to detect errors in code. In Proc. 19th IEEE International Conference on Automated Software Engineering (ASE), pages 144-153, September 2004.
26. John Whaley, Michael C. Martin, and Monica S. Lam. Automatic extraction of object-oriented component interfaces. In Proc. International Symposium on Software Testing and Analysis (ISSTA), pages 218-228. ACM, July 2002.
27. Jinlin Yang and David Evans. Dynamically inferring temporal properties. In Proc. 5th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 23-28. ACM, June 2004.