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

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Browse the full ICST paper archive.