Login / Signup
Automatic Test Generation for Coverage Analysis of ERTMS Software.
Damiano Angeletti
Enrico Giunchiglia
Massimo Narizzano
Alessandra Puddu
Salvatore Sabina
Published in:
ICST (2009)
Keyphrases
</>
test generation
static analysis
software testing
software development
test cases
computer vision
software systems
test suite
analysis tool
code coverage
artificial intelligence
high level
multi agent systems
data flow
test data generation
symbolic execution