Automated test-design from requirements: the Specmate tool.

Dietmar Freudenstein, Jeannette Radduenz, Maximilian Junker, Sebastian Eder, Benedikt Hauptmann

Browse the full ICSE paper archive.