Published in December 2024
| Version v1
Masterthesis
Open
Requirements-driven verification: design and implementation of a test generation pipeline
Creators
89059.pdf