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
märksõna
heuristiline programmeerimine
ISSN
2075-2180
märkused
Bibliogr.: 18 ref
keel
inglise