@inbook {IOPORT.05632243,
    author       = {Chen, Zhenyu and Hollmann, Axel},
    title        = {Positive and negative testing with mutation-driven model checking.},
    year         = {2008},
    booktitle    = {INFORMATIK 2008 Beherrschbare Systeme -- dank Informatik Band 1},
    isbn         = {978-3-88579-227-7},
    pages        = {187-192},
    publisher    = {Bonner K\"ollen Verlag},
    abstract     = {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.},
    identifier   = {05632243},
}