%0 Conference Paper %1 conf/compsac/TrabCH12 %A Trab, Mohammad Saeed Abou %A Counsell, Steve %A Hierons, Robert M. %B COMPSAC %D 2012 %E Bai, Xiaoying %E Belli, Fevzi %E Bertino, Elisa %E Chang, Carl K. %E Elçi, Atilla %E Seceleanu, Cristina Cerschi %E Xie, Haihua %E Zulkernine, Mohammad %I IEEE Computer Society %K dblp %P 660-669 %T Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2012.html#TrabCH12 %@ 978-1-4673-1990-4

@inproceedings{conf/compsac/TrabCH12, added-at = {2023-03-24T00:00:00.000+0100}, author = {Trab, Mohammad Saeed Abou and Counsell, Steve and Hierons, Robert M.}, biburl = {https://www.bibsonomy.org/bibtex/209580bf160efca6ea8c565efd14337ec/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/2012}, editor = {Bai, Xiaoying and Belli, Fevzi and Bertino, Elisa and Chang, Carl K. and Elçi, Atilla and Seceleanu, Cristina Cerschi and Xie, Haihua and Zulkernine, Mohammad}, ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2012.93}, interhash = {78f470a52b8e87bf16e3019f239e7fbd}, intrahash = {09580bf160efca6ea8c565efd14337ec}, isbn = {978-1-4673-1990-4}, keywords = {dblp}, pages = {660-669}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:17:23.000+0200}, title = {Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2012.html#TrabCH12}, year = 2012 }