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.SE2024
Execution-free Program Repair
Li Huang, Bertrand Meyer, Ilgiz Mustafin +1
Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes mu…
cs.GL2009
The Business of Selling Electronic Documents
Manuel Oriol
The music industry has huge troubles adapting to the new technologies. As many pointed out, when copying music is essentially free and socially accepted it becomes increasingly tem…