3 papers
cs.SE2025
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
Cedric Richter, Heike Wehrheim
Automatic software verifiers have become increasingly effective at the task of checking software against (formal) specifications. Yet, their adoption in practice has been hampered…
cs.SE2024
Parallel Program Analysis on Path Ranges
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter +1
Symbolic execution is a software verification technique symbolically running programs and thereby checking for bugs. Ranged symbolic execution performs symbolic execution on progra…
cs.SE2023
Can ChatGPT support software verification?
Christian Janßen, Cedric Richter, Heike Wehrheim
Large language models have become increasingly effective in software engineering tasks such as code generation, debugging and repair. Language models like ChatGPT can not only gene…