Test input generation with java PathFinder

This publication has 22 references indexed in Scilit:

• Experimental Evaluation of Verification and Validation Tools on Martian Rover Software
  Formal Methods in System Design, 2004
• Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
  Published by Springer Nature ,2004
• Verification of Java Programs Using Symbolic Execution and Invariant Generation
  Published by Springer Nature ,2004
• Automatic test data generation using constraint solving techniques
  Published by Association for Computing Machinery (ACM) ,1998
• Solving shape-analysis problems in languages with destructive updating
  ACM Transactions on Programming Languages and Systems, 1998
• The ASTOOT approach to testing object-oriented programs
  ACM Transactions on Software Engineering and Methodology, 1994
• A practical algorithm for exact array dependence analysis
  Communications of the ACM, 1992
• Symbolic execution and program testing
  Communications of the ACM, 1976
• An Approach to Program Testing
  ACM Computing Surveys, 1975
• Toward a theory of test data selection
  ACM SIGPLAN Notices, 1975