QUEST is a suite of tools integrated in a Eclipse plug-in that aim to ensure compliance of Java implementations of data abstractions with their property-driven specifications.
The general aim of QUEST suite of tools is to ensure the compliance of Java implementations of abstract data types (ADT) with their specifications. Specifications are property-driven, can be parameterized (by other specifications), and support the specification of ADTs independently of the programming language and programming paradigm.
Team: Antónia Lopes; Vasco T. Vasconcelos; Isabel Nunes; João Pascoal Faria (FEUP); Ana Paiva (FEUP); Jorge Delgadillo Branco; Rui Gameiro; Ana Costa Santos; Filipe Luís; Francisco Andrade (FEUP); Francisco Silva (FEUP)