Check 'n' crash: Combining static checking and testing

Proceedings - 27th International Conference on Software Engineering, ICSE05

Volumn , Issue , 2005, Pages 422-431

  Csallner, Christoph ^a   Smaragdakis, Yannis ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Automatic testing; Dynamic analysis; Extended static checking; Static analysis; Test case generation; Usability

Indexed keywords

AUTOMATIC TESTING; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; THEOREM PROVING; AUTOMATION; ERROR DETECTION; QUALITY OF SERVICE; USABILITY ENGINEERING;

DYNAMIC ANALYSIS; EXTENDED STATIC CHECKING; STATIC ANALYSIS; TEST CASE GENERATION; USABILITY;

ERROR DETECTION; COMPUTER TESTING;

DYNAMIC ANALYSIS; EXTENDED STATIC CHECKING; STATIC ANALYSIS; TEST CASE GENERATION;

EID: 33244471534     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. K. Beck and E. Gamma. Test infected: Programmers love writing tests. Java Report, 3(7):37-50, July 1998.
2. D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar. Generating tests from counterexamples. In Proceedings of the 26th International Conference on Software Engineering, pages 326-335. IEEE Computer Society Press, May 2004.
3. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 123-133, ACM Press, July 2002.
4. D. R. Cok and J. 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.
5. C. Csallner and Y. Smaragdakis. JCrasher. An automatic robustness tester for Java. Software - Practice & Experience, 34(11):1025-1050, Sept. 2004.
6. D. Detlefs, G. Nelson, and J. B. Saxe. Simplify: A theorem prover for program checking. Technical Report HPL-2003-148, Hewlett-Packard Systems Research Center, July 2003.
7. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In Proceedings of the 21st International Conference on Software Engineering, pages 213-224. IEEE Computer Society Press, May 1999.
8. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In J. N. Oliveira and P. Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, pages 500-517. Springer, Mar. 2001.
9. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 234-245. ACM Press, June 2002.
10. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 69-82. ACM Press, June 2002.
11. M. Hapner, R. Burridge, R. Sharma, and J. Fialli. Java message service: Version 1.1. Sun Microsystems, Inc., Apr. 2002.
12. E. Hatcher and S. Loughran. Java development with Ant. Manning Publications, Aug. 2002.
13. D. Hovemeyer and W. Pugh. Finding bugs is easy. In Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 132-136. ACM Press, Oct. 2004.
14. D. Jackson and M. Vaziri. Finding bugs with a constraint solver. In M. J. Harrold, editor, Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 14-25. ACM Press, Aug. 2000.
15. T. Kremenek and D. Engler. Z-ranking: Using statistical analysis to counter the impact of static analysis approximations. In R. Cousot, editor, Static Analysis: 10th Annual International Static Analysis Symposium, pages 295-315. Springer, June 2003.
16. D. Kroening, A. Groce, and E. M. Clarke. Counterexample guided abstraction refinement via program execution. In J. Davies, W. Schulte, and M. Barnett, editors, Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, pages 224-238. Springer, Nov. 2004.
17. G. T. Leavens, A. L. Baker, and C. 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.
18. K. R. M. Leino. Efficient weakest preconditions. Technical Report MSR-TR-2004-34, Microsoft Research, Apr. 2004.
19. K. R. M. Leino, G. Nelson, and J. B. Saxe. ESC/Java user's manual. Technical Report 2000-002, Compaq Computer Corporation Systems Research Center, Oct. 2000.
20. M. Musuvathi and D. Engler. Some lessons from using static analysis and software model checking for bug finding. In B. Cook, S. Stoller, and W. Visser, editors, SoftMC 2003: Workshop on Software Model Checking. Elsevier, July 2003.
21. N. Rutar, C. B. Almazan, and J. S. Foster. A comparison of bug finding tools for Java. In Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04), pages 245-256. IEEE Computer Society Press, Nov. 2004.
22. H. Schlenker and G. Ringwelski. POOC: A platform for object-oriented constraint programming. In B. O'Sullivan, editor, Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, pages 159-170. Springer, June 2002.
23. B. Steensgaard. Points-to analysis in almost linear time. In Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32-41. ACM Press, Jan. 1996.
24. D. Stotts, M. Lindsey, and A. Antley. An informal formal method for systematic JUnit test case generation. In D. Wells and L. A. Williams, editors, Proceedings of the Second XP Universe and First Agile Universe Conference on Extreme Programming and Agile Methods - XP/Agile Universe 2002, pages 131-143. Springer, Aug. 2002.
25. M. Vaziri and D. Jackson. Checking properties of heap-manipulating procedures with a constraint solver. In H. Garavel and J. Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, pages 505-520. Springer, Apr. 2003.
26. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In Proceedings of the 18th Annual International Conference on Automated Software Engineering (ASE 2003), pages 40-48. IEEE Computer Society Press, Oct. 2003.
27. Y. Xie and D. Engler. Using redundancies to find errors. IEEE Transactions on Software Engineering, 29(10):915-928, Oct. 2003.