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