Test Generation in the Presence of Conflicting Timers.

Mariusz A. Fecko Paul D. Amer M. Ümit Uyar Ali Y. Duale

Published in: TestCom (2000)

Keyphrases

test generation
test cases
test sequences
symbolic execution
static analysis
quality assurance
design automation
mutation testing
real world
data sets
machine learning
code coverage