A comparative study of programmer-written and automatically inferred contracts

Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 93-103

  Polikarpova, Nadia ^a   Ciupa, Ilinca ^a   Meyer, Bertrand ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS);

AUTOMATIC TOOLS; CODE METRICS; COMPARATIVE STUDIES; EXECUTABLE CODES; INFERENCE TOOLS; PROGRAM EXECUTION; SPECIFICATION ELEMENTS; STANDARD LIBRARIES;

SOFTWARE TESTING;

EID: 85008253118     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1572272.1572284     Document Type: Conference Paper

References (27)

1. CITADEL webpage. http://se.inf.ethz.ch/people/polikarpova/citadel.html.
2. EiffelStudio. Eiffel Software. http://www.eiffel.com/.
3. Traffic. http://traffic.origo.ethz.ch/.
4. M. Barnett, K. R. M. Leino, and W. Schulte. The Spec# programming system: An overview. In CASSIS 2004, volume 3362 of LNCS. Springer, 2004.
5. M. Boshernitsan, R. Doong, and A. Savoia. From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pages 169-180, New York, NY, USA, 2006. ACM Press.
6. P. Chalin. Are practitioners writing contracts? In Springer LNCS 4157, pages 100-113, 2006.
7. I. Ciupa, B. Meyer, M. Oriol, and A. Pretschner. Finding faults: Manual testing vs. random+ testing vs. user reports. In Proceedings of ISSRE (International Symposium on Software Reliability) 2008, 2008.
8. C. Csallner and Y. Smaragdakis. Check 'n' Crash: Combining static checking and testing. In Proc. 27th ACM/IEEE International Conference on Software Engineering (ICSE), pages 422-431. ACM, May 2005.
9. C. Csallner and Y. Smaragdakis. DSD-Crasher: A hybrid analysis tool for bug finding. In Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pages 245-254. ACM, July 2006.
10. M. D. Ernst. Dynamically Discovering Likely Program Invariants. Ph.D., University of Washington Department of Computer Science and Engineering, Seattle, Washington, Aug. 2000.
11. N. Gupta and Z. V. Heidepriem. A new structural coverage criterion for dynamic detection of program invariants. In ASE 2003: Proceedings of the 18th Annual International Conference on Automated Software Engineering, pages 49-58, Montreal, Canada, October 8-10, 2003.
12. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering, pages 291-301, New York, NY, USA, 2002. ACM.
13. M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In ICSE'03, Proceedings of the 25th International Conference on Software Engineering, pages 60-71, Portland, Oregon, May 6-8, 2003.
14. J. Henkel and A. Diwan. Discovering algebraic specifications from Java classes. In L. Cardelli, editor, ECOOP 2003-Object-Oriented Programming, 17th European Conference, Darmstadt, July 2003. Springer.
15. J. Henkel and A. Diwan. A tool for writing and debugging algebraic specifications. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 449-458, Washington, DC, USA, 2004. IEEE Computer Society.
16. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Softw. Eng. Notes, 31(3):1-38, 2006.
17. B. Meyer. Applying Design by Contract. Computer, 25(10):40-51, 1992.
18. B. Meyer. Object-Oriented Software Construction, 2nd edition. Prentice Hall, 1997.
19. J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, pages 232-242, Rome, Italy, July 22-24, 2002.
20. J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: an empirical evaluation. SIGSOFT Software Engineering Notes, 27(6):11-20, 2002.
21. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP 2005-Object-Oriented Programming, 19th European Conference, Glasgow, Scotland, July 25-29, 2005.
22. J. H. Perkins and M. 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, Newport Beach, CA, USA, November 2-4, 2004.
23. B. Pytlik, M. Renieris, S. Krishnamurthi, and S. P. Reiss. Automated fault localization using potential invariants. In Proceedings of the Workshop on Automated and Algorithmic Debugging 2003, 2003.
24. N. Tillmann, F. Chen, and W. Schulte. Discovering likely method specifications. In ICFEM, pages 717-736, 2006.
25. J. W. Tukey. Exploratory Data Analysis. Addison-Wesley, Reading, MA, 1977.
26. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on, pages 40-48, Oct. 2003.
27. H. Yuan and T. Xie. Substra: A framework for automatic generation of integration tests. In 1st Workshop on Automation of Software Test (AST 2006), pages 64-70, Shanghai, China, May 2006.