Note on Fast Bridge Fault Test Generation Based on Critical Area.

Masayuki Arai Shingo Inuyama Kazuhiko Iwasaki

Published in: ICA3PP (3) (2015)

Keyphrases

test generation
test cases
test sequences
design automation
fault diagnosis
static analysis
software testing
symbolic execution
quality assurance
mutation testing
fault detection
databases
knowledge management
integrity constraints
regression testing
code coverage