| 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}
} |
| 211 | Mohammad Mahdi Hassan and James H. Andrews
Comparing multi-point stride coverage and dataflow coverage
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HassanA13,
author = {Mohammad Mahdi Hassan and James H. Andrews},
title = {Comparing multi-point stride coverage and dataflow coverage},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013},
year = {2013},
address = {},
month = {},
pages = {172--181}
} |
| 212 | Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark
Using Mutation Analysis to Evolve Subdomains for Random Testing
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{patrick_ICST_13,
author = {Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark},
title = {Using Mutation Analysis to Evolve Subdomains for Random Testing},
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 = {53--62}
} |
| 213 | Matthew Stephan and Manar H. Alalfi and Andrew Stevenson and James R. Cordy
Using mutation analysis for a model-clone detector comparison framework
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{stephan_ICSE_13,
author = {Matthew Stephan and Manar H. Alalfi and Andrew Stevenson and James R. Cordy},
title = {Using mutation analysis for a model-clone detector comparison framework},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013},
year = {2013},
address = {},
month = {},
pages = {1261--1264}
} |
| 214 | Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov
Comparing non-adequate test suites using coverage criteria
International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GligoricGZSAM13,
author = {Milos Gligoric and Alex Groce and Chaoqiang Zhang and Rohan Sharma and Mohammad Amin Alipour and Darko Marinov},
title = {Comparing non-adequate test suites using coverage criteria},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '13, Lugano, Switzerland, July 15-20, 2013},
year = {2013},
address = {},
month = {},
pages = {302--313}
} |
| 215 | Dongsun Kim and Jaechang Nam and Jaewoo Song and Sunghun Kim
Automatic patch generation learned from human-written patches
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KimNSK13,
author = {Dongsun Kim and Jaechang Nam and Jaewoo Song and Sunghun Kim},
title = {Automatic patch generation learned from human-written patches},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013},
year = {2013},
address = {},
month = {},
pages = {802--811}
} |
| 216 | Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
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{henard_ICST_13,
author = {Christopher Henard and Mike Papadakis and Gilles Perrouin and Jacques Klein and Yves Le Traon},
title = {Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing},
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 = {188--197}
} |
| 217 | Pedro Reales Mateo and Macario Polo Usaola and Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n
Validating Second-Order Mutation at System Level
{IEEE} Trans. Software Eng., 39(4), 2013. |
|
| | Abstract: Available soon... |
| | @ARTICLE{MateoUA13,
author = {Pedro Reales Mateo and Macario Polo Usaola and Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n},
title = {Validating Second-Order Mutation at System Level},
journal = {{IEEE} Trans. Software Eng.},
year = {2013},
month = {},
volume = {39},
number = {4},
pages = {570--587}
} |
| 218 | Sang{-}Woon Kim and Yu{-}Seung Ma and Yong Rae Kwon
Combining weak and strong mutation for a noninterpretive Java mutation system
Softw. Test., Verif. Reliab., 23(8), 2013. |
|
| | Abstract: Available soon... |
| | @ARTICLE{KimMK13,
author = {Sang{-}Woon Kim and Yu{-}Seung Ma and Yong Rae Kwon},
title = {Combining weak and strong mutation for a noninterpretive Java mutation system},
journal = {Softw. Test., Verif. Reliab.},
year = {2013},
month = {},
volume = {23},
number = {8},
pages = {647--668}
} |
| 219 | Bernhard K. Aichernig and Florian Lorber and Dejan Nickovic
Time for Mutants - Model-Based Mutation Testing with Timed Automata
Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest, Hungary, June 16-20, 2013. Proceedings, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{aichernig_TAP_13,
author = {Bernhard K. Aichernig and Florian Lorber and Dejan Nickovic},
title = {Time for Mutants - Model-Based Mutation Testing with Timed Automata},
booktitle = {Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest, Hungary, June 16-20, 2013. Proceedings},
year = {2013},
address = {},
month = {},
pages = {20--38}
} |
| 220 | Westley Weimer and Zachary P. Fry and Stephanie Forrest
Leveraging program equivalence for adaptive program repair: Models and first results
2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{WeimerFF13,
author = {Westley Weimer and Zachary P. Fry and Stephanie Forrest},
title = {Leveraging program equivalence for adaptive program repair: Models and first results},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15, 2013},
year = {2013},
address = {},
month = {},
pages = {356--366}
} |
