Jan Tretmans. Model Based Testing with Labelled Transition Systems. In Robert M. Hierons, Jonathan P. Bowen, Mark Harman, editors, Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Volume 4949 of Lecture Notes in Computer Science, pages 1-38, Springer, 2008. [doi]
@inproceedings{Tretmans08,
title = {Model Based Testing with Labelled Transition Systems},
author = {Jan Tretmans},
year = {2008},
doi = {10.1007/978-3-540-78917-8_1},
url = {http://dx.doi.org/10.1007/978-3-540-78917-8_1},
tags = {rule-based, testing},
researchr = {https://researchr.org/publication/Tretmans08},
cites = {0},
citedby = {0},
pages = {1-38},
booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers},
editor = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman},
volume = {4949},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-78916-1},
}