Issues in using model checkers for test case generation
Gordon Fraser, Franz Wotawa, Paul AmmannVolume:
82
Year:
2009
Language:
english
Pages:
16
DOI:
10.1016/j.jss.2009.05.016
File:
PDF, 474 KB
english, 2009