Relational Test Tables: A Practical Specification Language for Evolution and Security.

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

Browse the full ICSE paper archive.