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

UR  - https://doi.org/10.1109/compsac.2012.93

PY  - 2012/12/14

AU  - AbouTrab MS

AU  - Counsell S

AU  - Hierons RM

ED  - 

DO  - DOI: 10.1109/compsac.2012.93

PB  - IEEE

SP  - 660

EP  - 669

Y2  - 2025/11/05

ER  -