5 citations · 11 across the 7 of their papers we have counts for
1 paper · 1 filter
Alexandre Mota, Fei Yang, Cristiano Teixeira
Nowadays, smart contracts have become increasingly popular and, as with software development in general, testing is the standard method for verifying their correctness. However, sm…