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…