@Inproceedings{EPTCS80.9, author = {Ahman, Danel and K\"a\"aramees, Marko}, year = {2012}, title = {Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs}, editor = {Petrenko, Alexander K. and Schlingloff, Holger}, booktitle = {{\rm Proceedings 7th Workshop on} Model-Based Testing, {\rm Tallinn, Estonia, 25 March 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {80}, publisher = {Open Publishing Association}, pages = {115-129}, doi = {10.4204/EPTCS.80.9}, }