Model-based mutant equivalence detection using automata language equivalence and simulations-Reference-Cited by-同舟云学术

Model-based mutant equivalence detection using automata language equivalence and simulations

Author:

Devroey Xavier^ORCID,Perrouin Gilles,Papadakis Mike,Legay Axel,Schobbens Pierre-Yves^ORCID,Heymans Patrick

Funder

ERDF

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference62 articles.

1. Model-based mutation testing of an industrial measurement device;Aichernig,2014

2. Towards symbolic model-based mutation testing: pitfalls in expressing semantics as constraints;Aichernig,2012

4. Introduction to Software Testing;Ammann,2008

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Large Language Models for Equivalent Mutant Detection: How Far Are We?;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Mutation Testing for Task-Oriented Chatbots;Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering;2024-06-18

4. MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04

5. Novel Metrics for Mutation Analysis;Computer Systems Science and Engineering;2023