Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency

This publication has 46 references indexed in Scilit:

• Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
  Automated Software Engineering, 2013
• A survey of new trends in symbolic execution for software testing and analysis
  International Journal on Software Tools for Technology Transfer, 2009
• Scala Actors: Unifying thread-based and event-based programming
  Theoretical Computer Science, 2009
• Compositional dynamic test generation
  ACM SIGPLAN Notices, 2007
• Dynamic partial-order reduction for model checking software
  ACM SIGPLAN Notices, 2005
• ATGen: automatic test data generation using constraint logic programming and symbolic execution
  Software Testing, Verification and Reliability, 2001
• Software unit test coverage and adequacy
  ACM Computing Surveys, 1997
• The chaining approach for software test data generation
  ACM Transactions on Software Engineering and Methodology, 1996
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991