In recent blog posts about test generation for mutation testing, I have detailed that mutants introduce small changes into the original model each mimicking a potential software bug. These changes are seeded on a set of mutation operators that are rules applied to the system to […]
Recently I wrote a blog post about mutation testing. That post was a high level overview of what mutation testing is and how mutation analysis can be applied in automatic test generation. This time I was thinking of writing a more hands-on blog post about how […]
Conformiq Designer 5.0
We are super excited to announce the release of Conformiq Designer 5.0 which includes a support for mutation testing! This version of Designer automatically designs and generates test cases that target certain types of software bugs. This support will not only immensely increase the quality of […]
Mutants are here!!!
Mutation testing is a software testing method which involves modifying the system code in small changes, yielding a faulty system, a mutant of the original one. These changes mimic typical errors that a programmer could have made. The goal is to find weaknesses in a test suite and […]
If you have evaluated, used, or are using any model-based testing approach, please take a few minutes to respond to the 2019 Model-based Testing User Survey. This year, the 2019 MBT User Survey is a joint initiative of the French and German Testing Boards. It is […]