| 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}
} |