An Introduction to Test Specification in FQL. (Haifa Verification Conference, 2010)

(untitled) - Holzer, A; Tautschnig, M; Schallhart, C; Veith, H