24 citations · 35 across the 6 of their papers we have counts for
1 paper · 1 filter
Lennon Chaves, Iury Bessa, Lucas Cordeiro +1
An automated counterexample reproducibility tool based on MATLAB is presented, called DSValidator, with the goal of reproducing counterexamples that refute specific properties rela…