Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 178-187, IEEE, 2013. [doi]
@inproceedings{ArcainiGR13,
title = {Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism},
author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene},
year = {2013},
doi = {10.1109/ICSTW.2013.29},
url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2013.29},
researchr = {https://researchr.org/publication/ArcainiGR13},
cites = {0},
citedby = {0},
pages = {178-187},
booktitle = {2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013},
publisher = {IEEE},
isbn = {978-1-4799-1324-4},
}