Test input generation with java PathFinder
- 1 July 2004
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 29 (4), 97-107
- https://doi.org/10.1145/1007512.1007526
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Experimental Evaluation of Verification and Validation Tools on Martian Rover SoftwareFormal Methods in System Design, 2004
- Symbolically Computing Most-Precise Abstract Operations for Shape AnalysisLecture Notes in Computer Science, 2004
- Verification of Java Programs Using Symbolic Execution and Invariant GenerationLecture Notes in Computer Science, 2004
- Automatic test data generation using constraint solving techniquesPublished by Association for Computing Machinery (ACM) ,1998
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- The ASTOOT approach to testing object-oriented programsACM Transactions on Software Engineering and Methodology, 1994
- A practical algorithm for exact array dependence analysisCommunications of the ACM, 1992
- Symbolic execution and program testingCommunications of the ACM, 1976
- An Approach to Program TestingACM Computing Surveys, 1975
- Toward a theory of test data selectionACM SIGPLAN Notices, 1975