Time for Mutants - Model-Based Mutation Testing with Timed Automata.

Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic

Browse the full TAP paper archive.