| 201 | Lingming Zhang and Darko Marinov and Sarfraz Khurshid
Faster mutation testing inspired by test prioritization and reduction
International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangMK13,
author = {Lingming Zhang and Darko Marinov and Sarfraz Khurshid},
title = {Faster mutation testing inspired by test prioritization and reduction},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013},
year = {2013},
address = {},
month = {},
pages = {235--245}
} |
| 202 | Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon
Proteum/FL: {A} tool for localizing faults using mutation analysis
13th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisDT13,
author = {Mike Papadakis and M{\'{a}}rcio Eduardo Delamaro and Yves Le Traon},
title = {Proteum/FL: {A} tool for localizing faults using mutation analysis},
booktitle = {13th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23, 2013},
year = {2013},
address = {},
month = {},
pages = {94--99}
} |
| 203 | Milos Gligoric and Vilas Jagannath and Qingzhou Luo and Darko Marinov
Efficient mutation testing of multithreaded code
Softw. Test., Verif. Reliab., 23(5), 2013. |
|
| | Abstract: Available soon... |
| | @ARTICLE{GligoricJLM13,
author = {Milos Gligoric and Vilas Jagannath and Qingzhou Luo and Darko Marinov},
title = {Efficient mutation testing of multithreaded code},
journal = {Softw. Test., Verif. Reliab.},
year = {2013},
month = {},
volume = {23},
number = {5},
pages = {375--403}
} |
| 204 | Papadakis, Mike and Malevris, Nicos
Searching and generating test inputs for mutation testing
SpringerPlus, 2(1), 2013. |
|
| | Abstract: Mutation testing is usually regarded as an important method towards fault revealing. Despite this advantage, it has proved to be impractical for industrial use because of its expenses. To this extend, automated techniques are needed in order to apply and reduce the method's demands. Whilst there is much evidence that automated test data generation techniques can effectively automate the testing process, there has been little work on applying them in the context of mutation testing. In this paper, search-based testing is used in order to effectively generate test inputs capable of revealing mutants. To this end, a dynamic execution scheme capable of introducing and guiding the search towards the sought mutants is proposed. Experimentation with the proposed approach reveals its superiority from the previously proposed methods. Additionally, the framework's feasibility and practicality of producing mutation based test cases are also demonstrated. |
| | @ARTICLE{Papadakis2013,
author = {Papadakis, Mike and Malevris, Nicos},
title = {Searching and generating test inputs for mutation testing},
journal = {SpringerPlus},
year = {2013},
month = {},
volume = {2},
number = {1},
pages = {121}
} |
| 205 | Lingming Zhang and Lu Zhang and Sarfraz Khurshid
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Zhang0K13,
author = {Lingming Zhang and Lu Zhang and Sarfraz Khurshid},
title = {Injecting mechanical faults to localize developer faults for evolving software},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013},
year = {2013},
address = {},
month = {},
pages = {765--784}
} |
| 206 | Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon
Towards automated testing and fixing of re-engineered feature models
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HenardPPKT04,
author = {Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon},
title = {Towards automated testing and fixing of re-engineered feature models},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013},
year = {2013},
address = {},
month = {},
pages = {1245--1248}
} |
| 207 | Phu Hong Nguyen and Mike Papadakis and Iram Rubab
Testing Delegation Policy Enforcement via Mutation Analysis
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{nguyen_ICST_13,
author = {Phu Hong Nguyen and Mike Papadakis and Iram Rubab},
title = {Testing Delegation Policy Enforcement via Mutation Analysis},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013},
year = {2013},
address = {},
month = {},
pages = {34--42}
} |
| 208 | Yasser Khan and Jameleddine Hassine
Mutation Operators for the Atlas Transformation Language
Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{khan_ICST_13,
author = {Yasser Khan and Jameleddine Hassine},
title = {Mutation Operators for the Atlas Transformation Language},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013},
year = {2013},
address = {},
month = {},
pages = {43--52}
} |
| 209 | Jeffrey Svajlenko and Chanchal K. Roy and Slawomir Duszynski
ForkSim: Generating software forks for evaluating cross-project similarity analysis tools
13th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{svajlenko_SCAM_13,
author = {Jeffrey Svajlenko and Chanchal K. Roy and Slawomir Duszynski},
title = {ForkSim: Generating software forks for evaluating cross-project similarity analysis tools},
booktitle = {13th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2013, Eindhoven, Netherlands, September 22-23, 2013},
year = {2013},
address = {},
month = {},
pages = {37--42}
} |
| 210 | Saswat Anand and Edmund K. Burke and Tsong Yueh Chen and John A. Clark and Myra B. Cohen and Wolfgang Grieskamp and Mark Harman and Mary Jean Harrold and Phil McMinn
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software, 86(8), 2013. |
|
| | Abstract: Available soon... |
| | @ARTICLE{AnandBCCCGHHMOE13,
author = {Saswat Anand and Edmund K. Burke and Tsong Yueh Chen and John A. Clark and Myra B. Cohen and Wolfgang Grieskamp and Mark Harman and Mary Jean Harrold and Phil McMinn},
title = {An orchestrated survey of methodologies for automated software test case generation},
journal = {Journal of Systems and Software},
year = {2013},
month = {},
volume = {86},
number = {8},
pages = {1978--2001}
} |
