Software Mutation Testing: Towards Combining Program and Model Based Techniques
Maria Forostyanova, Natalia Kushik · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2013
The paper is devoted to the mutation testing technique that is widely used when testing different software tools.A short survey of existing methods and tools for mutation testing is presented in the paper.We classify existing methods: some of them rely on injecting bugs into a program under test while other use a formal model of the software in order to inject errors.We also provide a short description of existing tools that support both approaches.We further discuss how these two approaches might be combined for the mutation based test generation with the guaranteed fault coverage.