Mutation Testing Publications

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

161Ren{\'{e}} Just
The major mutation framework: efficient and scalable mutation analysis for Java
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
162Lech Madeyski and Wojciech Orzeszyna and Richard Torkar and Mariusz Jozala
Overcoming the Equivalent Mutant Problem: {A} Systematic Literature Review and a Comparative Experiment of Second Order Mutation
{IEEE} Trans. Software Eng., 40(1), 2014.
BibTeX | Abstract | PDF | DOI
163Mike Papadakis and Yves Le Traon
Effective fault localization via mutation analysis: a selective mutation approach
Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, 2014.
BibTeX | Abstract | PDF | DOI
164Benoit Baudry and Simon Allier and Martin Monperrus
Tailored source code transformations to synthesize computationally diverse program variants
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
165Yuta Maezawa and Kazuki Nishiura and Hironori Washizaki and Shinichi Honiden
Validating ajax applications using a delay-based mutation technique
{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014, 2014.
BibTeX | Abstract | PDF | DOI
166Antonia Bertolino and Said Daoudagh and Francesca Lonetti and Eda Marchetti and Fabio Martinelli and Paolo Mori
Testing of PolPA-based usage control systems
Software Quality Journal, 22(2), 2014.
BibTeX | Abstract | PDF | DOI
167Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
{HOMAJ:} {A} Tool for Higher Order Mutation Testing in AspectJ and Java
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
168Duc Le and Mohammad Amin Alipour and Rahul Gopinath and Alex Groce
MuCheck: an extensible tool for mutation testing of haskell programs
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
169Matthew Stephan and Manar H. Alalfi and James R. Cordy
Towards a Taxonomy for Simulink Model Mutations
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
170M{\'{a}}rcio Eduardo Delamaro and Lin Deng and Vinicius Humberto Serapilha Durelli and Nan Li and Jeff Offutt
Experimental Evaluation of {SDL} and One-Op Mutation for {C}
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
171Rahul Gopinath and Carlos Jensen and Alex Groce
Mutations: How Close are they to Real Faults?
25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014, 2014.
BibTeX | Abstract | PDF | DOI
172Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon
Mitigating the effects of equivalent mutants with mutant classification strategies
Sci. Comput. Program., 95(), 2014.
BibTeX | Abstract | PDF | DOI
173Jie Zhang and Muyao Zhu and Dan Hao and Lu Zhang
An Empirical Study on the Scalability of Selective Mutation Testing
25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014, 2014.
BibTeX | Abstract | PDF | DOI
174Ren{\'{e}} Just and Michael D. Ernst and Gordon Fraser
Efficient mutation analysis by propagating and partitioning infected execution states
International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014, 2014.
BibTeX | Abstract | PDF | DOI
175Souza, F. C. and Papadakis, M. and Durelli, V. H. S. and Delamaro, M. E.
Test Data Generation Techniques for Mutation Testing: A Systematic Mapping
Proceedings of the 11th ESELAW, 2014.
BibTeX | Abstract | URL
176Mark Harman and Yue Jia and Pedro Reales Mateo and Macario Polo
Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation
{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014, 2014.
BibTeX | Abstract | PDF | DOI
177S{\'{e}}bastien Bardin and Nikolai Kosmatov and Fran{\c{c}}ois Cheynier
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
178Elmahdi Omar and Sudipto Ghosh and Darrell Whitley
Comparing search techniques for finding subtle higher order mutants
Genetic and Evolutionary Computation Conference, {GECCO} '14, Vancouver, BC, Canada, July 12-16, 2014, 2014.
BibTeX | Abstract | PDF | DOI
179Bob Kurtz and Paul Ammann and M{\'{a}}rcio Eduardo Delamaro and Jeff Offutt and Lin Deng
Mutant Subsumption Graphs
Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}, 2014.
BibTeX | Abstract | PDF | DOI
180Tingliang Zhou and Haiying Sun and Jing Liu and Xiaohong Chen and Dehui Du
Improving Testing Coverage for Safety-Critical System by Mutated Specification
21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers, 2014.
BibTeX | Abstract | PDF | DOI