Sign in
Transition-Time-Relation based capture-safety checking for at-speed scan test generation.
Kohei Miyase
Xiaoqing Wen
Masao Aso
Hiroshi Furukawa
Yuta Yamato
Seiji Kajihara
Published in:
DATE (2011)
Keyphrases
</>
test generation
symbolic execution
test cases
test sequences
quality assurance
high speed
design automation
software testing
mutation testing
static analysis
traffic safety
databases
code coverage
information technology
software development