05632243

a

05632243 Chen, Zhenyu Hollmann, Axel Positive and negative testing with mutation-driven model checking. Hegering, Heinz-Gerd et al., INFORMATIK 2008 Beherrschbare Systeme -- dank Informatik Band 1. Bonner K\"ollen Verlag (ISBN 978-3-88579-227-7). GI-Edition - Lecture Notes in Informatics (LNI), P-133, 187-192 (2008). 2008 Bonner K\"ollen Verlag EN

lni:LNI/Proceedings/Proceedings133/gi-proc-133-033.pdf

Summary: Mutation-driven test case generation with model checking has been proposed to reduce the costs of specification-based mutation analysis. Most of the existing work focuses on verifying the expected behavior in the original model, i.e. positive testing. In this paper negative testing is introduced to check the unexpected behavior.