2 papers
cs.SE2025
Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
Johann Glock, Clemens Bauer, Martin Pinzger
Conventional unit tests validate single input-output pairs, leaving most inputs of an execution path untested. Property-based testing addresses this shortcoming by generating multi…
cs.SE2024
Generating Accurate OpenAPI Descriptions from Java Source Code
Alexander Lercher, Christian Macho, Clemens Bauer +1
Developers require accurate descriptions of REpresentational State Transfer (REST) Application Programming Interfaces (APIs) for a successful interaction between web services. The…