Dietmar Freudenstein, Jeannette Radduenz, Maximilian Junker, Sebastian Eder, Benedikt Hauptmann. Automated test-design from requirements: the Specmate tool. In Michael Unterkalmsteiner, Gregory Gay, Tingting Yu, editors, Proceedings of the 5th International Workshop on Requirements Engineering and Testing, RET@ICSE 2018, Gothenburg, Sweden, June 2, 2018. pages 5-8, ACM, 2018. [doi]
Abstract is missing.