Generalised Test Tables: A Practical Specification Language for Reactive Systems.

Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Browse the full IFM paper archive.