Akgün, Gent, Jefferson, Miguel, Nightingale, 2018. Metamorphic Testing of Constraint Solvers, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-98334-9_46