Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Featured model-based mutation analysis
X Devroey, G Perrouin, M Papadakis, A Legay… - Proceedings of the 38th …, 2016 - dl.acm.org
Model-based mutation analysis is a powerful but expensive testing technique. We tackle its
high computation cost by proposing an optimization technique that drastically speeds up the …
high computation cost by proposing an optimization technique that drastically speeds up the …
Property-based mutation testing
E Bartocci, L Mariani, D Ničković… - 2023 IEEE Conference …, 2023 - ieeexplore.ieee.org
Mutation testing is an established software quality assurance technique for the assessment
of test suites. While it is well-suited to estimate the general fault-revealing capability of a test …
of test suites. While it is well-suited to estimate the general fault-revealing capability of a test …
Model-based mutant equivalence detection using automata language equivalence and simulations
X Devroey, G Perrouin, M Papadakis, A Legay… - Journal of Systems and …, 2018 - Elsevier
Mutation analysis is a popular technique for assessing the strength of test suites. It relies on
the mutation score, which indicates their fault-revealing potential. Yet, there are mutants …
the mutation score, which indicates their fault-revealing potential. Yet, there are mutants …
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems
J Cuartas, D Cortés, J Betancourt… - Software Testing …, 2025 - Wiley Online Library
To assess test quality, mutation testing (MT) creates mutants by injecting artificial faults into
the system and evaluates the ability of tests to distinguish these mutants. Tests …
the system and evaluates the ability of tests to distinguish these mutants. Tests …
Automata language equivalence vs. simulations for model-based mutant equivalence: An empirical evaluation
X Devroey, G Perrouin, M Papadakis… - … on Software Testing …, 2017 - ieeexplore.ieee.org
Mutation analysis is a popular test assessment method. It relies on the mutation score, which
indicates how many mutants are revealed by a test suite. Yet, there are mutants whose …
indicates how many mutants are revealed by a test suite. Yet, there are mutants whose …
[PDF][PDF] Model-based testing of measurement devices using a domain-specific modelling language
C Burghard - Master's Thesis at Graz University of Technology, 2018 - truconf.ist.tugraz.at
The practice of model-based testing finds increasing application in industry, due to its
potential to cope with the ever rising complexity of technical systems. For this reason, the …
potential to cope with the ever rising complexity of technical systems. For this reason, the …
Model-driven testing in Umple
SEA Almaghthawi - 2020 - ruor.uottawa.ca
In this thesis we present a language and technique to facilitate model-based testing. The
core of our approach is an xUnit-like language that allows tests to refer to model entities …
core of our approach is an xUnit-like language that allows tests to refer to model entities …
[PDF][PDF] researchportal. unamur. be
Researchers and practitioners have designed and implemented various automated test
case generators to support effective software testing. Such generators exist for various …
case generators to support effective software testing. Such generators exist for various …