%0 Journal Article %1 journals/stvr/DadeauHKMR15 %A Dadeau, Frédéric %A Héam, Pierre-Cyrille %A Kheddam, Rafik %A Maatoug, Ghazi %A Rusinowitch, Michaël %D 2015 %J Softw. Test. Verification Reliab. %K %N 5-7 %P 684-711 %T Model-based mutation testing from security protocols in HLPSL. %U http://dblp.uni-trier.de/db/journals/stvr/stvr25.html#DadeauHKMR15 %V 25

@article{journals/stvr/DadeauHKMR15, added-at = {2023-12-12T18:14:47.000+0100}, author = {Dadeau, Frédéric and Héam, Pierre-Cyrille and Kheddam, Rafik and Maatoug, Ghazi and Rusinowitch, Michaël}, biburl = {https://www.bibsonomy.org/bibtex/24f4e4c8a4ea9a51e54b16549a98cd464/admin}, ee = {https://doi.org/10.1002/stvr.1531}, interhash = {0f864a987e8915db2da4ad8f7f21fd64}, intrahash = {4f4e4c8a4ea9a51e54b16549a98cd464}, journal = {Softw. Test. Verification Reliab.}, keywords = {}, number = {5-7}, pages = {684-711}, timestamp = {2023-12-12T18:14:47.000+0100}, title = {Model-based mutation testing from security protocols in HLPSL.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr25.html#DadeauHKMR15}, volume = 25, year = 2015 }