"Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time ..."

Florian Lorber (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics