Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

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]

Authors

Paolo Arcaini

This author has not been identified. Look up 'Paolo Arcaini' in Google

Angelo Gargantini

This author has not been identified. Look up 'Angelo Gargantini' in Google

Elvinia Riccobene

This author has not been identified. Look up 'Elvinia Riccobene' in Google