Automated Test Generation from Vulnerability Signatures.

Abdulbaki Aydin Muath Alkhalaf Tevfik Bultan

Published in: ICST (2014)

Keyphrases

test generation
symbolic execution
test cases
test sequences
design automation
static analysis
mutation testing
software testing
quality assurance
regression testing
artificial intelligence
image quality
software development
decision trees
computer vision
code coverage
database