| 131 | Marinos Kintis and Nicos Malevris {MEDIC:} {A} static analysis framework for equivalent mutant identification Information {\&} Software Technology, 68(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{KintisM15,
author = {Marinos Kintis and Nicos Malevris},
title = {{MEDIC:} {A} static analysis framework for equivalent mutant identification},
journal = {Information {\&} Software Technology},
year = {2015},
month = {},
volume = {68},
number = {},
pages = {1--17}
} |
| 132 | W. Krenn and R. Schlick and S. Tiran and B. Aichernig and E. Jobstl and H. Brandl MoMut::UML Model-Based Mutation Testing for UML 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), April 2015. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{krenn15_momut,
author = {W. Krenn and R. Schlick and S. Tiran and B. Aichernig and E. Jobstl and H. Brandl},
title = {MoMut::UML Model-Based Mutation Testing for UML},
booktitle = {2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)},
year = {2015},
address = {},
month = {April},
pages = {1-8}
} |
| 133 | Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam and Ghazi Maatoug and Micha{\"{e}}l Rusinowitch Model-based mutation testing from security protocols in {HLPSL} Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{dadeau_STVR_15,
author = {Fr{\'{e}}d{\'{e}}ric Dadeau and Pierre{-}Cyrille H{\'{e}}am and Rafik Kheddam and Ghazi Maatoug and Micha{\"{e}}l Rusinowitch},
title = {Model-based mutation testing from security protocols in {HLPSL}},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {684--711}
} |
| 134 | Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene Using mutation to assess fault detection capability of model review Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{arcaini_STVR_15,
author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene},
title = {Using mutation to assess fault detection capability of model review},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {629--652}
} |
| 135 | Ren{\'{e}} Just and Franz Schweiggert Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{JustS15,
author = {Ren{\'{e}} Just and Franz Schweiggert},
title = {Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {490--507}
} |
| 136 | Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman {JSEFT:} Automated Javascript Unit Test Generation 8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015, 2015. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Mirshokraie0P15b,
author = {Shabnam Mirshokraie and Ali Mesbah and Karthik Pattabiraman},
title = {{JSEFT:} Automated Javascript Unit Test Generation},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
year = {2015},
address = {},
month = {},
pages = {1--10}
} |
| 137 | X. Devroey and G. Perrouin and P. Y. Schobbens and P. Heymans Poster: VIBeS, Transition System Mutation Made Easy 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, May 2015. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{devroey_ICSE_15,
author = {X. Devroey and G. Perrouin and P. Y. Schobbens and P. Heymans},
title = {Poster: VIBeS, Transition System Mutation Made Easy},
booktitle = {2015 IEEE/ACM 37th IEEE International Conference on Software Engineering},
year = {2015},
address = {},
month = {May},
pages = {817-818}
} |
| 138 | Vincent Aranega and Jean{-}Marie Mottu and Anne Etien and Thomas Degueule and Benoit Baudry and Jean{-}Luc Dekeyser Towards an automation of the mutation analysis dedicated to model transformation Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{aranega_STVR_15,
author = {Vincent Aranega and Jean{-}Marie Mottu and Anne Etien and Thomas Degueule and Benoit Baudry and Jean{-}Luc Dekeyser},
title = {Towards an automation of the mutation analysis dedicated to model transformation},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {653--683}
} |
| 139 | Akbar Siami Namin and Xiaozhen Xue and Omar Rosas and Pankaj Sharma MuRanker: a mutant ranking tool Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{NaminXRS15,
author = {Akbar Siami Namin and Xiaozhen Xue and Omar Rosas and Pankaj Sharma},
title = {MuRanker: a mutant ranking tool},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {572--604}
} |
| 140 | Pedro Reales Mateo and Macario Polo Usaola Reducing mutation costs through uncovered mutants Softw. Test., Verif. Reliab., 25(), 2015. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MateoU15,
author = {Pedro Reales Mateo and Macario Polo Usaola},
title = {Reducing mutation costs through uncovered mutants},
journal = {Softw. Test., Verif. Reliab.},
year = {2015},
month = {},
volume = {25},
number = {},
pages = {464--489}
} |