Mutation Testing Publications

Search results for "all papers", found 857 papers, 86 pages

131Marinos Kintis and Nicos Malevris
{MEDIC:} {A} static analysis framework for equivalent mutant identification
Information {\&} Software Technology, 68(), 2015.
BibTeX | Abstract | PDF | DOI
132W. 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.
BibTeX | Abstract | URL | DOI
133Fr{\'{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.
BibTeX | Abstract | PDF | DOI
134Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene
Using mutation to assess fault detection capability of model review
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
135Ren{\'{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.
BibTeX | Abstract | PDF | DOI
136Shabnam 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.
BibTeX | Abstract | PDF | DOI
137X. 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.
BibTeX | Abstract | URL | DOI
138Vincent 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.
BibTeX | Abstract | PDF | DOI
139Akbar Siami Namin and Xiaozhen Xue and Omar Rosas and Pankaj Sharma
MuRanker: a mutant ranking tool
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI
140Pedro Reales Mateo and Macario Polo Usaola
Reducing mutation costs through uncovered mutants
Softw. Test., Verif. Reliab., 25(), 2015.
BibTeX | Abstract | PDF | DOI