398 citations · 462 across the 9 of their papers we have counts for
1 paper · 1 filter
Thomas Durieux, João F. Ferreira, Rui Abreu +1
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and re…