Publications

2025

• 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

  • Li Huang,
  • Bertrand Meyer,
  • Manuel Oriol

  • [arxiv]
  • [springer]
• BUGFIX: towards a common language and framework for the Automatic Program Repair community

  • Bertrand Meyer,
  • Viktoryia Kananchuk,
  • Li Huang

  • [arxiv]
  • [acm]
• Is MCDC Really Better? Lessons from Combining Tests and Proofs

  • Li Huang,
  • Bertrand Meyer,
  • Manuel Oriol

  • [acm]
• Execution-Free Program Repair

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

  • [arxiv]
  • [acm]
• The concept of class invariant in object-oriented programming

  • Bertrand Meyer,
  • Alisa Arkadova,
  • Alexander Kogtenkov

  • [arxiv]
  • [acm]

2023

• A failed proof can yield a useful test

  • Li Huang,
  • Bertrand Meyer

  • [arxiv]
  • [wiley]

2022

• Improving Counterexample Quality from Failed Program Verification

  • Li Huang,
  • Bertrand Meyer,
  • Manuel Oriol

  • [arxiv]
  • [ieee]