This paper describes and adapts mutation operators that target such time constraints in timed automata models. Time mutation operators apply a delta to the time ...
Abstract—Real-time systems have to be verified and tested for timely behavior as well as functional behavior. Thus, time is an extra dimension that adds to ...
Identifying Useful Mutants to Test Time Properties | Semantic Scholar
www.semanticscholar.org › paper
An iterative tuning process where a statistical model-checker, UPPAAL SMC, is used to create a tuned set of dominator time mutants, and generate test traces ...
This paper describes and adapts mutation operators that target such time constraints in timed automata models. Time mutation operators apply a delta to the time ...
People also ask
What are mutants in mutation testing?
When should you do mutation testing?
What is a good mutation score?
What are equivalent mutants?
Oct 28, 2008 · Mutation testing tries to check if test cases are "good", by modifying the source code. They are two different concepts.
Temporal correctness is crucial to the dependability of real-time systems. Few methods exist to test for temporal correctness and most existing methods are ...
Mutation testing (or mutation analysis or program mutation) is used to design new software tests and evaluate the quality of existing software tests.
Sep 20, 2022 · We define novel, time-specific mutation operators and formulate the equivalent mutant problem in the frame of timed refinement relations.
Apr 4, 2020 · Mutation analysis introduces a set of syntactic changes to a software artifact and observe whether the previously passing test suite is.
Abstract. Mutation testing is a software testing technique that is considered to be very powerful, but is very expensive to apply.