Discovering likely method specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4260 LNCS, Issue , 2006, Pages 717-736

  Tillmann, Nikolai ^a   Feng, Chen ^b   Schulte, Wolfram ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; CODES (STANDARDS); FORMAL LANGUAGES; SPECIFICATIONS;

AXIOM MEISTER; METHOD SPECIFICATIONS; PROGRAM VERIFICATION SYSTEMS; SOFTWARE SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33845259341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11901433_39     Document Type: Article

References (31)

1. Codeproject. http://www.codeproject.com.
2. Daikon online manual, http://pag.csail.mit.edu/daikon/download/doc/ daikon.html.
3. Document object model(DOM). http://www.w3.org/DOM/.
4. Maude, http://maude.cs.uiuc.edu.
5. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. InProc. 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 4-16, 2002.
6. T. Ball, S. Lahiri, and M. Musuvathi. Zap: Automated theorem proving for software analysis. Technical Report MSR-TR-2005-137, Microsoft Research, Redmond, WA, USA, 2005.
7. M. Barnett, R. Leino, and W. Schulte. The Spec# programming system: An overview. In M. Huisman, editor, Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, volume 3362 of LNCS, pages 49-69, 2005.
8. M. Barnett, D. A. Naumann, W. Schulte, and Q. Sun. 99.44% pure: Useful abstractions in specifications. In Proc. 6th Workshop on Formal Techniques for Java-like Programs, June 2004.
9. L. Burdy, Y. Cheon, D. Cok, M. D. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of JML tools and applications. International Journal on Software Tools for Technology Transfer, 7(3):212-232, June 2005.
10. A. R. Byron Cook, Andreas Podelski. Abstraction-refinement for termination. In 12th International Static Analysis Symposium(SAS'05), Sept 2005.
11. D. Detlefs, G. Nelson, and J. Saxe. Simplify: A theorem prover for program checking. Technical Report HPL-2003-148, HP Labs, Palo Alto, CA, USA, 2003.
12. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1985.
13. M. D. Ernst, J. Cockrell, W. G. Gris wold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, 2001.
14. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for esc/java. In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, pages 500-517, London, UK, 2001.
15. G. C. Gannod and B. H. C. Cheng. A specification matching based approach to reverse engineering. In ICSE '99: Proceedings of the 21st international conference on Software engineering, pages 389-398, Los Alamitos, CA, USA, 1999.
16. G. C. Gannod and B. H. C. Cheng. Strongest postcondition semantics as the formal basis for reverse engineering. In WCRE '95: Proceedings of the Second Working Conference on Reverse Engineering, pages 188-197, July 1995.
17. W. Grieskamp, N. Tillmann, and W. Schulte. XRT - Exploring Runtime for .NET - Architecture and Applications. In SoftMC 2005: Workshop on Software Model Checking, Electronic Notes in Theoretical Computer Science, July 2005.
18. A. Groce and W. Visser. What went wrong: Explaining counterexamples. In 10th International SPIN Workshop on Model Checking of Software, pages 121-135, Portland, Oregon, May 9-10, 2003.
19. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In Proc. 17th European Conference on Object-Oriented Programming, pages 431-456, 2003.
20. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
21. Z. Li and Y. Zhou. PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code. In 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'05), Sept 2005.
22. F. Logozzo. Automatic inference of class invariants. In Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI '04), volume 2937 of Lectures Notes in Computer Science, Jan. 2004.
23. R. O'Callahan and D. Jackson. Lackwit: a program understanding tool based on type inference. In ICSE '97: Proceedings of the 19th international conference on Software engineering, pages 338-348, New York, NY, USA, 1997.
24. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst., 24(3):217-298, 2002.
25. M. Taghdiri. Inferring specifications to detect errors in code. In 19th IEEE International Conference on Automated Software Engineering (ASE'04), Sept 2004.
26. N. Tillmann and W. Schulte. Parameterized unit tests. In Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 253-262, 2005.
27. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. 15th IEEE International Conference on Automated Software Engineering, pages 3-12, 2000.
28. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In Proc. the International Symposium on Software Testing and Analysis, pages 218-228, 2002.
29. T. Xie and D. Notkin. Automatically identifying special and common unit tests for object-oriented programs. In Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), November 2005.
30. T. Xie and D. Notkin. Tool-assisted unit test generation and selection based on operational abstractions. Automated Software Engineering Journal, 2006.
31. J. Yang and D. Evans. Dynamically inferring temporal properties. In Proc. the ACM-SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 23-28, 2004.