267 citations · 874 across the 27 of their papers we have counts for
1 paper · 1 filter
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…