Using constraint solvers to support metamorphic testing.

M. Carmen de Castro-Cabrera, Antonio Garca-Domnguez, Inmaculada Medina-Bulo

Browse the full ICSE paper archive.