1 citations · 1 across the 8 of their papers we have counts for
1 paper · 1 filter
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…