Mutation Testing Publications
Search results for "dadeau_ICST_11", found 1 papers, 1 pages
| 1 | Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam Mutation-Based Test Generation from Security Protocols in {HLPSL} Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011. |
| BibTeX | Abstract | PDF | DOI | |
| Abstract: Available soon... | |
@INPROCEEDINGS{dadeau_ICST_11,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam},
title = {Mutation-Based Test Generation from Security Protocols in {HLPSL}},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
year = {2011},
address = {},
month = {},
pages = {240--248}
} |