Robin Gröpler, Viju Sudhi, Emilio José Calleja García, Andre Bergmann. NLP-Based Requirements Formalization for Automatic Test Case Generation. In Holger Schlingloff, Thomas Vogel 0001, editors, Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021. Volume 2951 of CEUR Workshop Proceedings, pages 18-30, CEUR-WS.org, 2021. [doi]
Abstract is missing.