Seminar-Workshop: Table of Specifications and Test Construction