TY  - CONF

T1  - Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata

JO  - 2012 IEEE 36th Annual Computer Software and Applications Conference

PY  - 2012/12/14

AU  - AbouTrab MS

AU  - Counsell S

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1109/compsac.2012.93

PB  - IEEE

SN  - 9781467319904

Y2  - 2024/12/22

ER  -