Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata.

Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons

Browse the full COMPSAC paper archive.