Companion Webpage
Relational Test Tables: A Practical Specification Language for Evolution and Security
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Birgit Vogel-Heuser, and Bernhard Beckert
Files
General
Experiment: Regression/Delta Verification
Experiment: Information Flow
