1. Mutation Testing in the Refinement Calculus
2. Bernhard K Aichernig . 2013. Model-based mutation testing of reactive systems . In Theories of Programming and Formal Methods . Springer , 23–36. Bernhard K Aichernig. 2013. Model-based mutation testing of reactive systems. In Theories of Programming and Formal Methods. Springer, 23–36.
3. Paul E Ammann , Paul E Black , and William Majurski . 1998 . Using model checking to generate tests from specifications . In Proceedings second international conference on formal engineering methods (Cat. No. 98EX241) . 46–54. Paul E Ammann, Paul E Black, and William Majurski. 1998. Using model checking to generate tests from specifications. In Proceedings second international conference on formal engineering methods (Cat. No. 98EX241). 46–54.
4. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT Press . isbn:978-0-262-02649-9 Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press. isbn:978-0-262-02649-9
5. Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking . MIT Press . isbn:978-0-262-02649-9 Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT Press. isbn:978-0-262-02649-9