Publications

• Execution-Free Program Repair

  • [arxiv]
  • [acm]
  Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol, 2024
• The concept of class invariant in object-oriented programming

  • [arxiv]
  • [acm]
  Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, 2024