Model-Based Mutation Testing with Constraint and SMT Solvers

E. Jöbstl

Abstract:

Reference: E. Jöbstl. Model-Based Mutation Testing with Constraint and SMT Solvers. PhD thesis, Graz University of Technology, Institute for Software Technology, 2014.