Jing Guan, Jeff Offutt. A model-based testing technique for component-based real-time embedded systems. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-10, IEEE Computer Society, 2015. [doi]
@inproceedings{GuanO15,
title = {A model-based testing technique for component-based real-time embedded systems},
author = {Jing Guan and Jeff Offutt},
year = {2015},
doi = {10.1109/ICSTW.2015.7107407},
url = {http://dx.doi.org/10.1109/ICSTW.2015.7107407},
researchr = {https://researchr.org/publication/GuanO15},
cites = {0},
citedby = {0},
pages = {1-10},
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},
}