Model-Based Mutation Testing of Real-Time Systems via Model Checking.

Florian Lorber, Kim G. Larsen, Brian Nielsen

Browse the full ICST paper archive.