Optimizing test-generation to the execution platform.

Amir Nahir Avi Ziv Subrat Panda

Published in: ASP-DAC (2012)

Keyphrases

test generation
symbolic execution
test cases
design automation
test sequences
static analysis
quality assurance
testing process
test data generation
mutation testing
software engineering
machine learning
e learning
cooperative
software testing