Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda.

James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens

Browse the full QRS paper archive.