Unisex: A unix-based symbolic executor for pascal
- 1 May 1985
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 15 (5) , 439-458
- https://doi.org/10.1002/spe.4380150504
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A Domain Strategy for Computer Program TestingIEEE Transactions on Software Engineering, 1980
- Functional Program TestingIEEE Transactions on Software Engineering, 1980
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- An Approach to Program TestingACM Computing Surveys, 1975
- Toward a theory of test data selectionIEEE Transactions on Software Engineering, 1975
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967