A novel use of equivalent mutants for static anomaly detection in software artifacts

@article{Arcaini2017ANU,
  title={A novel use of equivalent mutants for static anomaly detection in software artifacts},
  author={Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene and Paolo Vavassori},
  journal={Information & Software Technology},
  year={2017},
  volume={81},
  pages={52-64}
}
Context: In mutation analysis, a mutant of a software artifact, either a program or a model, is said equivalent if it leaves the artifact meaning unchanged. Equivalent mutants are usually seen as an inconvenience and they reduce the applicability of mutation analysis. Objective: Instead, we here claim that equivalent mutants can be useful to de ne, detect, and remove static anomalies, i.e., de ciencies of given qualities : If an equivalent mutant has a better quality value than the original… CONTINUE READING
Recent Discussions
This paper has been referenced on Twitter 2 times over the past 90 days. VIEW TWEETS
2 Citations
51 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 51 references

Similar Papers

Loading similar papers…