Arnaud Gotlieb Bernard Botella Automated Metamorphic Testing. 34-40 2003 conf/compsac/2003 COMPSAC http://csdl.computer.org/comp/proceedings/compsac/2003/2020/00/20200034abs.htm db/conf/compsac/compsac2003.html#GotliebB03