Efficient solving of structural constraints

ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008

Volumn , Issue , 2008, Pages 39-49

  Elkarablieh, Bassem ^a   Marinov, Darko ^b   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

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

Author keywords

Backtracking; Model checking; Systematic testing

Indexed keywords

BACKTRACKING; BOUNDED INPUTS; CODE INSTRUMENTATIONS; COMPLEX DATA STRUCTURES; ERROR RECOVERIES; INPUT CONSTRAINTS; INPUT SIZES; ORDERS OF MAGNITUDES; PROGRAM STATES; SEARCH SPACES; SPEED-UP; STRUCTURAL CONSTRAINTS; SYSTEMATIC TESTING; TEST GENERATIONS; TOOL USES;

CODES (SYMBOLS); COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; FILE ORGANIZATION; MAINTENANCE; MODEL CHECKING; RELIABILITY; REPAIR; SOFTWARE RELIABILITY;

SOFTWARE TESTING;

EID: 57449108687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390630.1390637     Document Type: Conference Paper

References (31)

1. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In Proc. International Symposium on Software Testing and Analysis (ISSTA), July 2002.
2. C. Cadar and D. Engler. Execution generated test cases: How to make systems code crash itself. In Proc. 12th SPIN Workshop on Software Model Checking, 2005.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, MA, 1999.
4. L. A. Clarke. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering, Sept. 1976.
5. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, MA, 1990.
6. B. Demsky and M. Rinard. Automatic detection and repair of errors in data structures. In Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2003.
7. B. Elkarablieh, I. García, Y. L. Suen, and S. Khurshid. Assertion-based repair of structurally complex data. In Proc. 22th Conference on Automated Software Engineering (ASE), Nov. 2007.
8. B. Elkarablieh, S. Khurshid, D. Vu, and K. McKinley. Stare: Static analysis for efficient repair of complex data. In Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Oct. 2007.
9. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley Publishing Company, New York, NY, 1995.
10. P. Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th Annual ACM Symposium on the Principles of Programming Languages (POPL), Paris, France, Jan. 1997.
11. P. Godefroid, N. Klarlund, and K. Sen. Dart: directed automated random testing. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementa tion, 2005.
12. G. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
13. S. Khurshid, I. García, and Y. L. Suen. Repairing structurally complex data. In Proc. 12th SPIN Workshop on Software Model Checking, 2005.
14. S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April 2003.
15. S. Khurshid and Y. L. Suen. Generalizing symbolic execution to library classes. In 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Lisbon, Portugal, Sept. 2005.
16. J. L. Kim and T. Park. An efficient protocol for checkpointing recovery in distributed systems. IEEE Transactions on Parallel and Distributed Systems, Aug 1993.
17. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7), 1976.
18. F. Lerda and W. Visser. Addressing dynamic issues of program model checking. In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software, pages 80-102, New York, NY, USA, 2001. Springer-Verlag New York, Inc.
19. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
20. D. Marinov. Automatic Testing of Software with Structurally Complex Inputs. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2004.
21. D. Marinov and S. Khurshid. TestEra: A novel framework for automated testing of Java programs. In Proc. 16th Conference on Automated Software Engineering (ASE), San Diego, CA, Nov. 2001.
22. S. Misailovic, A. Milicevic, N. Petrovic, S. Khurshid, and D. Marinov. Parallel test generation and execution with Korat. In Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), Sept. 2007.
23. Robby, M. B. Dwyer, and J. Hatcliff. Bogor: an extensible and highly-modular software model checking framework. In FSE03, pages 267-276, 2003.
24. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In Proc. 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2005.
25. K. Stobie. Advanced modeling, model based test generation, and Abstract state machine Language (AsmL). Seattle Area Software Quality Assurance Group, http://www.sasqag.org/pastmeetings/asml.ppt, Jan. 2003.
26. K. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson. Software assurance by bounded exhaustive testing. In Proc. International Symposium on Software Testing and Analysis (ISSTA), 2004.
27. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. 15th Conference on Automated Software Engineering (ASE), Grenoble, France, 2000.
28. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In Proc. 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, 2004.
29. W. Visser, C. S. Paǎsaǎreanu, and R. Pelánek. Test input generation for red-black trees using abstraction. In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, pages 414-417, New York, NY, USA, 2005. ACM.
30. W. Visser, C. S. Paǎsaǎreanu, and R. Pelánek. Test input generation for Java containers using state matching. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pages 37-48, New York, NY, USA, 2006. ACM.
31. G. Xu, A. Rountev, Y. Tang, and F. Qin. Efficient checkpointing of Java software using context-sensitive capture and replay. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 85-94, 2007.