Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs

vastutusandmed
Danel Ahman, Marko Kääramees
allikas
EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012
ilmumiskoht
[Sydney]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 115-129 : ill
ISSN
2075-2180
märkused
Bibliogr.: 18 ref
keel
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.