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