Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
Ahman, Danel
;
Kääramees, Marko
EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012
2012
/
p. 115-129 : ill
https://www.semanticscholar.org/paper/Constraint-Based-Heuristic-On-line-Test-Generation-Ahman-K%C3%A4%C3%A4ramees/c798ef6753277479b79652be2a5921a1db94c74c