22 citations · 27 across the 9 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…