Using symbolic execution to aid automatic test data generation

Publisher Website

1 January 1990

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/cmpass.1990.175398

Abstract

No abstract available

Keywords

This publication has 13 references indexed in Scilit:

The coupling effect: fact or fiction
Published by Association for Computing Machinery (ACM) ,1989
Applications of symbolic evaluation
Journal of Systems and Software, 1985
A Theory of Error-Based Testing.
Published by Defense Technical Information Center (DTIC) ,1984
On data flow guided program testing
ACM SIGPLAN Notices, 1982
Two notions of correctness and their relation to testing
Acta Informatica, 1982
Applications of Symbolic Execution to Program Testing
Computer, 1978
Hints on Test Data Selection: Help for the Practicing Programmer
Computer, 1978
Symbolic Testing and the DISSECT Symbolic Evaluation System
IEEE Transactions on Software Engineering, 1977
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering, 1976
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering, 1976