@inproceedings{inproceedings, title = {{Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata}}, publisher = {{IEEE}}, url = {{}}, year = {{2012}}, month = {{12}}, author = {{AbouTrab MS and Counsell S and Hierons RM}}, doi = {{10.1109/compsac.2012.93}}, isbn = {{9781467319904}}, journal = {{2012 IEEE 36th Annual Computer Software and Applications Conference}}, note = {{Accessed on 2024/12/23}}}