Bertrand Meyer
Bertrand Meyer is a Professor of Software Engineering at the Chair of Software Engineering, Constructor Institute of Technology.
Contacts
| bm@constructor.org |
Publications by Bertrand Meyer
- Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer: "Do AI models help produce verified bug fixes?" 2025
- Viktoryia Kananchuk, Ilgiz Mustafin, Bertrand Meyer: "Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair" 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
- Li Huang, Bertrand Meyer, Manuel Oriol: "Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites" SN Computer Science 2024
- Bertrand Meyer, Viktoryia Kananchuk, Li Huang: "BUGFIX: towards a common language and framework for the Automatic Program Repair community" Proceedings of the 5th ACM/IEEE International Workshop on Automated Program Repair 2024
- Li Huang, Bertrand Meyer, Manuel Oriol: "Is MCDC Really Better? Lessons from Combining Tests and Proofs" Tests and Proofs: 18th International Conference, TAP 2024 2024
- Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol: "Execution-Free Program Repair" Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering 2024
- Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer, Yinling Liu: "Lessons from Formally Verified Deployed Software Systems (Extended version)" 2024
- Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov: "The concept of class invariant in object-oriented programming" Formal Aspects of Computing, Volume 36, Issue 1 2024
- Li Huang, Bertrand Meyer, Manuel Oriol: "Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites" Testing Software and Systems. ICTSS 2023 2023
- Li Huang, Bertrand Meyer: "A failed proof can yield a useful test" Software Testing, Verification and Reliability 2023
- Li Huang, Bertrand Meyer, Manuel Oriol: "Improving Counterexample Quality from Failed Program Verification" 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) 2022