54 citations · 116 across the 11 of their papers we have counts for
1 paper · 2 filters
Daniel W. Song, Konstantinos Mamouras, Ang Chen +2
Despite significant research and engineering efforts, many of today's important computer systems suffer from bugs. To increase the reliability of software systems, recent work has…