Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
author
Ahman, Danel
Kääramees, Marko
statement of authorship
Danel Ahman, Marko Kääramees
source
EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012
location of publication
[Sydney]
publisher
Open Publishing Association
year of publication
2012
pages
p. 115-129 : ill
ISSN
2075-2180
notes
Bibliogr.: 18 ref
language
inglise