Publications

2025

• Do AI models help produce verified bug fixes?
  

  • Li Huang,
  • Ilgiz Mustafin,
  • Marco Piccioni,
  • Alessandro Schena,
  • Reto Weber,
  • Bertrand Meyer

  • [arxiv]
• Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
  

  • Viktoryia Kananchuk,
  • Ilgiz Mustafin,
  • Bertrand Meyer

  • [arxiv]
• PRISM - Programming Really Is Simple Mathematics
  

  • Reto Weber,
  • Bertrand Meyer

  • [arxiv]
• Loop unrolling - formal definition and application to testing
  

  • Li Huang,
  • Bertrand Meyer,
  • Reto Weber

  • [arxiv]

2024

• Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites
  SN Computer Science

  • Li Huang,
  • Bertrand Meyer,
  • Manuel Oriol

  • [arxiv]
  • [springer]
• 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

  • Bertrand Meyer,
  • Viktoryia Kananchuk,
  • Li Huang

  • [arxiv]
  • [acm]
• Is MCDC Really Better? Lessons from Combining Tests and Proofs
  Tests and Proofs: 18th International Conference, TAP 2024

  • Li Huang,
  • Bertrand Meyer,
  • Manuel Oriol

  • [acm]
• Execution-Free Program Repair
  Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

  • Li Huang,
  • Bertrand Meyer,
  • Ilgiz Mustafin,
  • Manuel Oriol

  • [arxiv]
  • [acm]
• Lessons from Formally Verified Deployed Software Systems (Extended version)
  

  • Li Huang,
  • Sophie Ebersold,
  • Alexander Kogtenkov,
  • Bertrand Meyer,
  • Yinling Liu

  • [arxiv]
• The concept of class invariant in object-oriented programming
  Formal Aspects of Computing, Volume 36, Issue 1

  • Bertrand Meyer,
  • Alisa Arkadova,
  • Alexander Kogtenkov

  • [arxiv]
  • [acm]

2023

• Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites
  Testing Software and Systems. ICTSS 2023

  • Li Huang,
  • Bertrand Meyer,
  • Manuel Oriol

  • [springer]
• A failed proof can yield a useful test
  Software Testing, Verification and Reliability

  • Li Huang,
  • Bertrand Meyer

  • [arxiv]
  • [wiley]

2022

• Improving Counterexample Quality from Failed Program Verification
  2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

  • Li Huang,
  • Bertrand Meyer,
  • Manuel Oriol

  • [arxiv]
  • [ieee]