Login / Signup
Automating Software Analysis and Testing Using a Program Transformation System.
Gordon Kotik
Lawrence Markosian
Published in:
Symposium on Testing, Analysis, and Verification (1989)
Keyphrases
</>
static analysis
test cases
software testing
software development
data analysis
dynamic analysis
symbolic execution
computer systems
quantitative analysis
software package
fault localization
real time
neural network
operating system
quality assurance
search based software testing