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]
Abstract is missing.