Reto Weber
Reto Weber is a PhD Student at the Chair of Software Engineering, Constructor Institute of Technology.
Contacts
| reto.weber@sit.org |
Publications by Reto Weber
- Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer: "Do AI models help produce verified bug fixes?" 2025
- Reto Weber, Bertrand Meyer: "PRISM - Programming Really Is Simple Mathematics" 2025
- Li Huang, Bertrand Meyer, Reto Weber: "Loop unrolling - formal definition and application to testing" 2025
Posts by Reto Weber
- We published the PRISM framework, Feb 2025