A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Metamorphic Testing of Constraint Solvers
[chapter]
2018
Lecture Notes in Computer Science
Constraint solvers are complex pieces of software and are notoriously difficult to debug. In large part this is due to the difficulty of pinpointing the source of an error in the vast searches these solvers perform, since the effect of an error may only come to light long after the error is made. In addition, an error does not necessarily lead to the wrong result, further complicating the debugging process. A major source of errors in a constraint solver is the complex constraint propagation
doi:10.1007/978-3-319-98334-9_46
fatcat:3isau54rvzewdhyvtyhvaarxre