Nunes, IsabelLopes, AntóniaVasconcelos, Vasco T.Abreu, JoãoReis, Luís S.2009-02-102014-11-142009-02-102014-11-142005-12http://hdl.handle.net/10451/14270http://repositorio.ul.pt/handle/10455/2968We present an approach for testing Java implementations of abstract data types (ADTs) against their specifications. The key idea is to reduce this problem to the run-time monitoring of contract annotated classes, which is supported today by several runtime assertion-checking tools. The approach comprises an ADT specification language that allows automatic generation of monitorable contracts and a refinement language that supports the specification of the details of object-oriented implementations of ADTsporreport