An intensional approach to the specification of test cases for database applications.

David Willmor, Suzanne M. Embury

Browse the full ICSE paper archive.