Bernhard K. Aichernig, Florian Lorber. Towards generation of adaptive test cases from partial models of determinized timed automata. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-6, IEEE Computer Society, 2015. [doi]
@inproceedings{AichernigL15,
title = {Towards generation of adaptive test cases from partial models of determinized timed automata},
author = {Bernhard K. Aichernig and Florian Lorber},
year = {2015},
doi = {10.1109/ICSTW.2015.7107409},
url = {http://dx.doi.org/10.1109/ICSTW.2015.7107409},
researchr = {https://researchr.org/publication/AichernigL15},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-1885-0},
}