| 251 | Matt Staats and Gregory Gay and Mats Per Erik Heimdahl Automated oracle creation support, or: How {I} learned to stop worrying about fault propagation and love mutation testing 34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{StaatsGH12,
author = {Matt Staats and Gregory Gay and Mats Per Erik Heimdahl},
title = {Automated oracle creation support, or: How {I} learned to stop worrying about fault propagation and love mutation testing},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland},
year = {2012},
address = {},
month = {},
pages = {870--880}
} |
| 252 | Mike Papadakis and Nicos Malevris Killing Mutants Effectively a Search Based Approach Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisM12b,
author = {Mike Papadakis and Nicos Malevris},
title = {Killing Mutants Effectively a Search Based Approach},
booktitle = {Knowledge-Based Software Engineering - Proceedings of the Tenth Conference on Knowledge-Based Software Engineering, {JCKBSE} 2012, Rodos, Greece, August 23-26, 2012},
year = {2012},
address = {},
month = {},
pages = {217--226}
} |
| 253 | Haitao Dan and Robert M. Hierons Semantic Mutation Analysis of Floating-Point Comparison Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DanH12,
author = {Haitao Dan and Robert M. Hierons},
title = {Semantic Mutation Analysis of Floating-Point Comparison},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {290--299}
} |
| 254 | Mike Papadakis and Yves Le Traon Using Mutants to Locate "Unknown" Faults Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{PapadakisT12,
author = {Mike Papadakis and Yves Le Traon},
title = {Using Mutants to Locate "Unknown" Faults},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {691--700}
} |
| 255 | Claire {Le Goues} and Michael Dewey{-}Vogt and Stephanie Forrest and Westley Weimer A systematic study of automated program repair: Fixing 55 out of 105 bugs for {\textdollar}8 each 34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GouesDFW12,
author = {Claire {Le Goues} and Michael Dewey{-}Vogt and Stephanie Forrest and Westley Weimer},
title = {A systematic study of automated program repair: Fixing 55 out of 105 bugs for {\textdollar}8 each},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland},
year = {2012},
address = {},
month = {},
pages = {3--13}
} |
| 256 | Pedro Reales Mateo and Macario Polo Usaola Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved with Extra Code) Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MateoU12,
author = {Pedro Reales Mateo and Macario Polo Usaola},
title = {Mutant Execution Cost Reduction: Through {MUSIC} (Mutant Schema Improved with Extra Code)},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {664--672}
} |
| 257 | Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel On-demand test suite reduction 34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HaoZWMR12,
author = {Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel},
title = {On-demand test suite reduction},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland},
year = {2012},
address = {},
month = {},
pages = {738--748}
} |
| 258 | Macario Polo Usaola and Pedro Reales Mateo and Beatriz P{\'{e}}rez Lamancha Reduction of Test Suites Using Mutation Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{UsaolaML12,
author = {Macario Polo Usaola and Pedro Reales Mateo and Beatriz P{\'{e}}rez Lamancha},
title = {Reduction of Test Suites Using Mutation},
booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
year = {2012},
address = {},
month = {},
pages = {425--438}
} |
| 259 | Haitao Dan and Robert M. Hierons {SMT-C:} {A} Semantic Mutation Testing Tools for {C} Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{dan_ICSTW_12,
author = {Haitao Dan and Robert M. Hierons},
title = {{SMT-C:} {A} Semantic Mutation Testing Tools for {C}},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
year = {2012},
address = {},
month = {},
pages = {654--663}
} |
| 260 | Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid Regression mutation testing International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangMZK12,
author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid},
title = {Regression mutation testing},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012},
year = {2012},
address = {},
month = {},
pages = {331--341}
} |