Mutation Testing Publications

Search results for "all papers", found 857 papers, 43 pages

261Gordon Fraser and Andreas Zeller
Mutation-Driven Generation of Unit Tests and Oracles
{IEEE} Trans. Software Eng., 38(2), 2012.
BibTeX | Abstract | PDF | DOI
262Vinicius H. S. Durelli and Jeff Offutt and M{\'{a}}rcio Eduardo Delamaro
Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
263Harman, Mark and McMinn, Phil and de Souza, Jerffeson Teixeira and Yoo, Shin
Search Based Software Engineering: Techniques, Taxonomy, Tutorial
Unknown-
BibTeX | Abstract | PDF | DOI
264Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert
Using Non-redundant Mutation Operators and Test Suite Prioritization to Achieve Efficient and Scalable Mutation Analysis
23rd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012, 2012.
BibTeX | Abstract | PDF | DOI
265Ren{\'{e}} Just and Gregory M. Kapfhammer and Franz Schweiggert
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
266Claire {Le Goues} and ThanhVu Nguyen and Stephanie Forrest and Westley Weimer
GenProg: {A} Generic Method for Automatic Software Repair
{IEEE} Trans. Software Eng., 38(1), 2012.
BibTeX | Abstract | PDF | DOI
267Mike Papadakis and Nicos Malevris
Mutation based test case generation via a path selection strategy
Information {\&} Software Technology, 54(9), 2012.
BibTeX | Abstract | PDF | DOI
268Le Thi My Hanh and Thanh Binh Nguyen
Mutation Operators for Simulink Models
Fourth International Conference on Knowledge and Systems Engineering, {KSE} 2012, Danang, Vietnam, August 17-19, 2012, 2012.
BibTeX | Abstract | PDF | DOI
269Yehia Elrakaiby and Tejeddine Mouelhi and Yves Le Traon
Testing Obligation Policy Enforcement Using Mutation Analysis
Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012, 2012.
BibTeX | Abstract | PDF | DOI
270JeeHyun Hwang and Tao Xie and Donia El Kateb and Tejeddine Mouelhi and Yves Le Traon
Selection of regression system tests for security policy evolution
{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012.
BibTeX | Abstract | PDF | DOI
271Yi Wei and Bertrand Meyer and Manuel Oriol
Is Branch Coverage a Good Measure of Testing Effectiveness?
Unknown-
BibTeX | Abstract | URL | DOI
272Konrad Jamrozik and Gordon Fraser and Nikolai Tillmann and Jonathan de Halleux
Augmented dynamic symbolic execution
{IEEE/ACM} International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012, 2012.
BibTeX | Abstract | PDF | DOI
273Simona Nica
On the Improvement of the Mutation Score Using Distinguishing Test Cases
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
274Sahitya Kakarla and Selina Momotaz and Akbar Siami Namin
An Evaluation of Mutation and Data-Flow Testing: {A} Meta-analysis
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, 2011.
BibTeX | Abstract | PDF | DOI
275Andrea Arcuri and Lionel C. Briand
Adaptive random testing: an illusion of effectiveness?
Proceedings of the 20th International Symposium on Software Testing and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011, 2011.
BibTeX | Abstract | PDF | DOI
276Diptikalyan Saha and Mangala Gowri Nanda and Pankaj Dhoolia and V. Krishna Nandivada and Vibha Sinha and Satish Chandra
Fault localization for data-centric programs
SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, 2011.
BibTeX | Abstract | PDF | DOI
277Chixiang Zhou and Phyllis G. Frankl
Inferential Checking for Mutants Modifying Database States
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011, 2011.
BibTeX | Abstract | PDF | DOI
278Satish Chandra and Emina Torlak and Shaon Barman and Rastislav Bod{\'{\i}}k
Angelic debugging
Proceedings of the 33rd International Conference on Software Engineering, {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011, 2011.
BibTeX | Abstract | PDF | DOI
279Mark Harman and Yue Jia and William B. Langdon
Strong higher order mutation-based test data generation
SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011, 2011.
BibTeX | Abstract | PDF | DOI
280Alexandre Bartel and Benoit Baudry and Freddy Munoz and Jacques Klein and Tejeddine Mouelhi and Yves Le Traon
Model Driven Mutation Applied to Adaptative Systems Testing
Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011 Workshops Proceedings, March 21 - March 25, 2011, Berlin, Germany, 2011.
BibTeX | Abstract | PDF | DOI