Declarative Testing: A Paradigm for Testing Software Applications. - Ed Triou; Zafar Abbas; Sravani Kothapalle (ITNG, 2009)