5.1 Activity Bugs
We were able to detect all 8 activity errors that have already
been reported (Table 1), as well as 3 new activity
errors in Andoku and Connectbot.
5.2 Event Bugs
Our technique has detected 24 event errors (18 existing
bugs and 6 new bugs). However, Table 1 contains 21 event
errors; the three errors we could not detect could not be
reproduced by other users either, so we suspect they might
be spurious bug reports.