Login / Signup
A New Test-Generation Methodology for System-Level Verification of Production Processes.
Allon Adir
Alex Goryachev
Lev Greenberg
Tamer Salman
Gil Shurek
Published in:
Haifa Verification Conference (2012)
Keyphrases
</>
test generation
symbolic execution
production processes
test cases
test sequences
design automation
software testing
static analysis
quality assurance
production process
multistage
software engineering
specification language
test data generation
code coverage