3 papers
cs.SE2026
Combining Tests and Proofs for Better Software Verification
Li Huang, Bertrand Meyer, Manuel Oriol
Test or prove? These two approaches to software verification have long been presented as opposites. One is dynamic, the other static: a test executes the program, a proof only anal…
cs.SE2025
Do AI models help produce verified bug fixes?
Li Huang, Ilgiz Mustafin, Marco Piccioni +3
Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic P…
cs.SE2025
Loop unrolling: formal definition and application to testing
Li Huang, Bertrand Meyer, Reto Weber
Testing processes usually aim at high coverage, but loops severely limit coverage ambitions since the number of iterations is generally not predictable. Most testing teams address…