![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
Arcaini, Paolo, Gargantini, Angelo, Riccobene, ElviniaYear:
2013
Language:
english
DOI:
10.1109/icstw.2013.29
File:
PDF, 345 KB
english, 2013