Results

AutoAnswer

• Coverage:89% (468/526)
• Number of Events: 29
• Number of Branches: 25
• Event histogram: [0, 4, 21, 0, 0, 0, 0]
• Search Depth:55
• Time:25s

EMMA coverage
discovery.txt
event.tree

RandomMusicPlayer

• Coverage:97% (1393/1441)
• Number of Events: 1185
• Number of Branches: 1002
• Event histogram: [0, 1, 31, 100, 254, 303, 175, 92, 38, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
• Search Depth:48
• Time:7mins

EMMA coverage
discovery.txt
event.tree

RSSReader

• Coverage:87% (1495/1709)
• Number of Events: 114
• Number of Branches: 80
• Event histogram: [0, 2, 2, 3, 5, 9, 15, 19, 13, 12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]
• Search Depth:664
• Time:8:15

EMMA coverage
discovery.txt
event.tree

Calculator

• Coverage:96% (589/614)
• Number of Events: 501
• Number of Branches: 476
• Event histogram: [0, 19, 54, 130, 273, 0]
• Search Depth:10
• Time: 01:28

EMMA coverage
discovery.txt
event.tree

SyncMyPix

• Coverage:55% (10505/19057)
• Number of Events: 63541
• Number of Branches: 54774
• Event histogram: [0, 0, 5, 41, 299, 1942, 52487, 0]
• Search Depth:704
• Time: 03:09:39
• Data choices=259725
• Thread choices=1284125
• States: new=1543849,visited=54774,backtracked=1598623,end=0

EMMA coverage
discovery.txt
event.tree

KeePassDroid

• Coverage:45% (9119/20479)
• Number of Events: 97627
• Number of Branches: 72537
• Event histogram: [0, 0, 2, 6, 44, 127, 410, 1117, 2862, 7719, 60250, 0]
• Search Depth:35
• Time: 01:17:36
• Data choices=50859
• Thread choices=58688
• States: new=111334,visited=70749,backtracked=182083,end=1427

EMMA coverage
discovery.txt
event.tree