Article

MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language

Authors:

Yue Jia,

Mark HarmanAuthors Info & Claims

TAIC-PART '08: Proceedings of the Testing: Academic & Industrial Conference - Practice and Research Techniques

Pages 94 - 98

https://doi.org/10.1109/TAIC-PART.2008.18

Published: 29 August 2008 Publication History

Publisher Site

Abstract

This paper introduces MILU, a C mutation testing tool designed for both first order and higher order mutation testing. All previous mutation testing tools apply all possible mutation operators to the program under test. By contrast, MILU allows customization of the set of mutation operators to be applied. To reduce runtime cost, MILU uses a novel 'test harness' technique to embed mutants and their associated test sets into a single-invocation procedure.

Cited By

View all

Gómez-Abajo PPérez-Soler SCañizares PGuerra Ede Lara J(2024)Mutation Testing for Task-Oriented ChatbotsProceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering10.1145/3661167.3661220(232-241)Online publication date: 18-Jun-2024
https://dl.acm.org/doi/10.1145/3661167.3661220
Isemann RGiuffrida CBos Hvan der Kouwe EGleissenthall K(2023)Don’t Look UB: Exposing Sanitizer-Eliding Compiler OptimizationsProceedings of the ACM on Programming Languages10.1145/35912577:PLDI(907-927)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591257
Cañizares PNúñez AFilgueira Rde Lara J(2023)Parallel mutation testing for large scale systemsCluster Computing10.1007/s10586-023-04074-y27:2(2071-2097)Online publication date: 20-Jun-2023
https://dl.acm.org/doi/10.1007/s10586-023-04074-y
Show More Cited By

MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis

Recommendations

Overlapped Multicolor MILU Preconditioning

MILU preconditioned iterative methods are useful for solving large sparse linear systems, which arise from the finite difference approximations of three-dimensional second-order elliptic partial differential equations. In these schemes, the MILU ...
Constrained differential evolution with multiobjective sorting mutation operators for constrained optimization

The proposed constrained differential evolution framework uses nondominated sorting mutation operator based on fitness and diversity information for constrained optimization. This study proposes a new constraint differential evolution framework.Parents ...
Black-box optimization benchmarking of IPOP-saACM-ES and BIPOP-saACM-ES on the BBOB-2012 noiseless testbed
GECCO '12: Proceedings of the 14th annual conference companion on Genetic and evolutionary computation

In this paper, we study the performance of IPOP-saACM-ES and BIPOP-saACM-ES, recently proposed self-adaptive surrogate-assisted Covariance Matrix Adaptation Evolution Strategies. Both algorithms were tested using restarts till a total number of function ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TAIC-PART '08: Proceedings of the Testing: Academic & Industrial Conference - Practice and Research Techniques

August 2008

90 pages

ISBN:9780769533834

Publisher

IEEE Computer Society

United States

Publication History

Published: 29 August 2008

Author Tag

MILU, mutation testing tool

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

40
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gómez-Abajo PPérez-Soler SCañizares PGuerra Ede Lara J(2024)Mutation Testing for Task-Oriented ChatbotsProceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering10.1145/3661167.3661220(232-241)Online publication date: 18-Jun-2024
https://dl.acm.org/doi/10.1145/3661167.3661220
Isemann RGiuffrida CBos Hvan der Kouwe EGleissenthall K(2023)Don’t Look UB: Exposing Sanitizer-Eliding Compiler OptimizationsProceedings of the ACM on Programming Languages10.1145/35912577:PLDI(907-927)Online publication date: 6-Jun-2023
https://dl.acm.org/doi/10.1145/3591257
Cañizares PNúñez AFilgueira Rde Lara J(2023)Parallel mutation testing for large scale systemsCluster Computing10.1007/s10586-023-04074-y27:2(2071-2097)Online publication date: 20-Jun-2023
https://dl.acm.org/doi/10.1007/s10586-023-04074-y
Ruland SLuthmann LBürdek JLity SThüm TLochau MRibeiro M(2020)Measuring effectiveness of sample-based product-line testingACM SIGPLAN Notices10.1145/3393934.327813053:9(119-133)Online publication date: 7-Apr-2020
https://dl.acm.org/doi/10.1145/3393934.3278130
Wong CMeinicke JChen LDiniz JKästner CFigueiredo EDevanbu PCohen MZimmermann T(2020)Efficiently finding higher-order mutantsProceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3368089.3409713(1165-1177)Online publication date: 8-Nov-2020
https://dl.acm.org/doi/10.1145/3368089.3409713
Gómez-Abajo PGuerra Ede Lara JMerayo MGray JRossi MSprinkle JTolvanen J(2019)Mutation testing for DSLs (tool demo)Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling10.1145/3358501.3361234(60-62)Online publication date: 20-Oct-2019
https://dl.acm.org/doi/10.1145/3358501.3361234
Kim YMun SYoo SKim M(2019)Precise Learn-to-Rank Fault Localization Using Dynamic and Static Features of Target ProgramsACM Transactions on Software Engineering and Methodology10.1145/334562828:4(1-34)Online publication date: 9-Oct-2019
https://dl.acm.org/doi/10.1145/3345628
Prado Lima JVergilio S(2019)A systematic mapping study on higher order mutation testingJournal of Systems and Software10.1016/j.jss.2019.04.031154:C(92-109)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1016/j.jss.2019.04.031
Ruland SLuthmann LBürdek JLity SThüm TLochau MRibeiro MVan Wyk ERompf T(2018)Measuring effectiveness of sample-based product-line testingProceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/3278122.3278130(119-133)Online publication date: 5-Nov-2018
https://dl.acm.org/doi/10.1145/3278122.3278130
Hariri FShi AHuchard MKästner CFraser G(2018)SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representationProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3240482(860-863)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3238147.3240482
Show More Cited By

Abstract

Cited By

Recommendations

Overlapped Multicolor MILU Preconditioning

Constrained differential evolution with multiobjective sorting mutation operators for constrained optimization

Black-box optimization benchmarking of IPOP-saACM-ES and BIPOP-saACM-ES on the BBOB-2012 noiseless testbed

Comments

Information

Published In

Publisher

Publication History

Author Tag

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations