[APE] >>>>>>>> SATA begin step [775][Elapsed: 0000 00:21:29] [APE] *** INFO *** Explored 21 app activities. [APE] *** INFO *** Used: 26 MB, Max: 192 MB, Available: 166 MB [APE] *** INFO *** Create state g51s288[-1,0][0]org.wikipedia.commons.FilePageActivity@-1007654091@Naming[0]@[W=2][A=2] for GUI tree GUITree[1055@0]@g51s288[-1,0][0]org.wikipedia.commons.FilePageActivity@-1007654091@Naming[0]@[W=2][A=2] [APE] *** INFO *** Checking new state: g51s288[-1,0][0]org.wikipedia.commons.FilePageActivity@-1007654091@Naming[0]@[W=2][A=2], iteration: #4 [APE] *** INFO *** getRootInActiveWindowSlow takes 1507 ms. [APE] *** INFO *** Create state g51s289[-1,0][0]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] for GUI tree GUITree[1056@0]@g51s289[-1,0][0]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] [APE] *** INFO *** New (trivial) state is updated from g51s288[-1,0][0]org.wikipedia.commons.FilePageActivity@-1007654091@Naming[0]@[W=2][A=2] to g51s289[-1,0][0]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g51s289[-1,0][0]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2] [APE] Action: g33a2085[433,774][4]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=2][597,202,1028,259][Go to im] [APE] Target: g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] [APE] Add target result: true [APE] GSTG(g51): activities (21), states (224), edges (641), unvisited actions (1931), visited actions (609) [APE] *** INFO *** - 0.18 34 org.wikipedia.main.MainActivity[1,763][112][S=34] [APE] *** INFO *** - 0.35 11 org.wikipedia.feed.configure.ConfigureActivity[675,751][65][S=11] [APE] *** INFO *** - 0.35 2 org.wikipedia.donate.GooglePayActivity[417,424][7][S=2] [APE] *** INFO *** - 0.27 9 org.wikipedia.talk.TalkTopicsActivity[44,251][39][S=9] [APE] *** INFO *** - 0.16 27 org.wikipedia.search.SearchActivity[23,536][76][S=27] [APE] *** INFO *** - 0.31 11 org.wikipedia.settings.languages.WikipediaLanguagesActivity[99,756][42][S=11] [APE] *** INFO *** - 0.15 1 org.wikipedia.usercontrib.UserContribListActivity[259,280][2][S=1] [APE] *** INFO *** - 0.21 43 org.wikipedia.page.PageActivity[22,764][150][S=43] [APE] *** INFO *** - 0.16 9 org.wikipedia.diff.ArticleEditDetailsActivity[260,283][23][S=9] [APE] *** INFO *** - 0.30 4 org.wikipedia.settings.SettingsActivity[410,759][17][S=4] [APE] *** INFO *** - 0.50 3 org.wikipedia.commons.FilePageActivity[9,775][10][S=3] [APE] *** INFO *** - 0.26 7 org.wikipedia.page.edithistory.EditHistoryListActivity[31,322][21][S=7] [APE] *** INFO *** - 0.19 8 org.wikipedia.readinglist.ReadingListActivity[107,238][21][S=8] [APE] *** INFO *** - 0.14 3 org.wikipedia.language.LanguagesListActivity[148,743][11][S=3] [APE] *** INFO *** - 0.23 11 org.wikipedia.talk.TalkReplyActivity[62,160][41][S=11] [APE] *** INFO *** - 0.54 3 org.wikipedia.gallery.GalleryActivity[431,774][19][S=3] [APE] *** INFO *** - 0.36 11 org.wikipedia.page.tabs.TabActivity[163,623][43][S=11] [APE] *** INFO *** - 0.52 4 org.wikipedia.login.LoginActivity[368,670][24][S=4] [APE] *** INFO *** - 0.27 4 org.wikipedia.talk.TalkTopicActivity[250,258][14][S=4] [APE] *** INFO *** - 0.18 7 org.wikipedia.language.LangLinksActivity[309,520][17][S=7] [APE] *** INFO *** - 0.45 12 org.wikipedia.createaccount.CreateAccountActivity[362,734][122][S=12] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (0) [APE] === Try to resolve the non-determinism!! [APE] *** INFO *** Find the non-deterministic edge [APE] *** INFO *** st1: g33e368[470,474][57]@[H(3),M(0),T(0.000000)] g33s191 =[g33a2085]=> g33s190 [APE] *** INFO *** st2: g51e640[875,875][1]@[H(1),M(0),T(0.000000)] g33s191 =[g33a2085]=> g51s289 [APE] ################################## [APE] 0 - class=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true; [APE] 1 - class=androidx.viewpager.widget.ViewPager;resource-id=org.wikipedia:id/pager;enabled=true;scrollable=true; [APE] 2 - class=android.widget.Button;resource-id=org.wikipedia:id/menu_gallery_share;enabled=true;clickable=true; [APE] 3 - class=android.widget.LinearLayout;resource-id=org.wikipedia:id/license_container;enabled=true;long-clickable=true; [APE] 4 - class=android.widget.ImageView;resource-id=org.wikipedia:id/license_icon;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 = class=android.widget.ImageButton;enabled=true;clickable=true; [APE] ---------------------------------- [APE] 0 + class=android.widget.ScrollView;enabled=true;scrollable=true; [APE] 1 + class=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true; [APE] ################################## [APE] *** INFO *** Try action refinement, where source states are not necessarily to be the same. [APE] *** INFO *** Rebuild document for tree #433 [APE] *** INFO *** Rebuild document for tree #435 [APE] *** INFO *** Rebuild document for tree #437 [APE] *** INFO *** Rebuild document for tree #774 [APE] *** INFO *** Action refinement has 1 results. [APE] *** INFO *** Refinement takes 6 ms. [APE] *** INFO *** Find 1 new naming [APE] [0] Updating naming: from Naming[0] to Naming[4], [0] <-> [0]. [APE] ==================== Old ========================= [APE] this:Naming[0], parent:null. [APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]] [APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer] [APE] -------------------------------------------------- [APE] this:Naming[4], parent:Naming[0]. [APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]] [APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer] [APE] 2. [001][REFINE] //*[@class="android.widget.TextView"][@resource-id="org.wikipedia:id/title"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],IndexNamer[index]]] [APE] ==================== New ========================= [APE] *** INFO *** Find a new naming that can resolve the non-deterministic transition. [APE] *** INFO *** Update naming for GUITree[638@433]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[0], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[638@433]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: null, State: org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2] [APE] *** INFO *** updateNaming: Add - Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2] [APE] *** INFO *** Update naming for GUITree[640@435]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[4], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[640@435]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2] [APE] *** INFO *** getNaming for tree GUITree[640@435]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: Source: Naming[4], Target: null, State: org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3] [APE] *** INFO *** Update naming for GUITree[642@437]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[4], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[642@437]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2] [APE] *** INFO *** getNaming for tree GUITree[642@437]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: Source: Naming[4], Target: null, State: org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3] [APE] *** INFO *** Update naming for GUITree[1054@774]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[4], new: Naming[4] [APE] *** INFO *** getNaming for tree GUITree[1054@774]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: Source: Naming[0], Target: Naming[4], State: org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2] [APE] *** INFO *** getNaming for tree GUITree[1054@774]@g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2]: Source: Naming[4], Target: null, State: org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3] [APE] *** INFO *** Start rebuilding model... [APE] *** INFO *** > Removing state g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2] [APE] *** INFO *** > Removing (1) old states and (4) transitions finished in 0 ms. [APE] *** INFO *** >> state: g33s191[433,774][4]org.wikipedia.gallery.GalleryActivity@612386062@Naming[0]@[W=2][A=2] [APE] *** INFO *** >> transition: (g51s287,g51a3148,g33s191) [APE] *** INFO *** >> transition: (g33s191,g33a2085,g33s190) [APE] *** INFO *** >> transition: (g33s191,g33a2085,g51s289) [APE] *** INFO *** >> transition: (g33s190,g33a2074,g33s191) [APE] *** INFO *** > rebuilding tree #433 [APE] *** INFO *** Create state g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] for GUI tree GUITree[638@433]@g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] [APE] *** INFO *** > rebuilding tree #435 [APE] *** INFO *** Create state g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] for GUI tree GUITree[640@435]@g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] [APE] *** INFO *** > rebuilding tree #437 [APE] *** INFO *** Create state g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] for GUI tree GUITree[642@437]@g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] [APE] *** INFO *** > rebuilding tree #774 [APE] *** INFO *** Create state g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] for GUI tree GUITree[1054@774]@g52s290[-1,0][0]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] [APE] *** INFO *** > Readding transitions finished in 0 ms. [APE] *** INFO *** Rebuilding model finished in 1 ms, removed 1 states and 4 state transitions, and rebuild 8 tree transitions. [APE] *** INFO *** Eliminating non-deterministic transitions takes 11 ms. [APE] *** INFO *** Model has been refined, reset stateful.. [APE] Update action buffer... [APE] Updating g33e368[470,474][57]@[H(3),M(0),T(0.000000)] g33s191 =[g33a2085]=> g33s190 [APE] Updated g52e638[433,437][6]@[H(3),M(0),T(0.000000)] g52s290 =[g52a3166]=> g33s190 [APE] Sata Strategy: buffer size (1) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 24 USE_BUFFER [APE] 747 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 34 BUFFER_LOSS [APE] 131 FILL_BUFFER [APE] 0 BAD_STATE [APE] 3 PROBE [APE] 1 g51a3161[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,73,147,220][#f1409233] [APE] 2 g51a3162[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] 3 g51a3163[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] 4 g51a3164[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][954,1203,1038,1266][] [APE] 5 g51a3165[-1,0][0]@MODEL_BACKg51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g51a3162[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] *** INFO *** - g51a3163[-1,0][0]@MODEL_SCROLL_TOP_DOWNclass=android.widget.ScrollView;enabled=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,2337][] [APE] *** INFO *** Inconsistent actions in action buffer: expected g52a3166[433,437][3]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;index=0;enabled=true;clickable=true;[P=0][T=0][, INVALID], get g52a3167[774,774][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;index=1;enabled=true;clickable=true;[P=0][T=0][, INVALID] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] [APE] *** INFO *** > - B: g52s290[433,774][4]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] [APE] *** INFO *** Never move from a cold activity (g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5])(org.wikipedia.commons.FilePageActivity[9,775][10][S=3]) to a hot activity (g52s290[433,774][4]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3])(org.wikipedia.gallery.GalleryActivity[431,774][27][S=3]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g51a3164[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][954,1203,1038,1266][] by strategy EARLY_STAGE [APE] Last state: g51s287[765,773][10]org.wikipedia.gallery.GalleryActivity@1403847836@Naming[0]@[W=7][A=12] [APE] Last action: g51a3148[773,773][2]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][975,20,1080,146][] [APE] Curr state: g52s290[433,774][4]org.wikipedia.gallery.GalleryActivity@550132812@Naming[4]@[W=3][A=3] [APE] Curr action: g52a3167[774,774][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/title;index=1;enabled=true;clickable=true;[P=0][T=0][, INVALID] [APE] New state: g51s289[775,775][1]org.wikipedia.commons.FilePageActivity@-1348804583@Naming[0]@[W=4][A=5] [APE] New action: g51a3164[775,775][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][954,1203,1038,1266][] [APE] >>>>>>>> SATA end step [775] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.commons.FilePageActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/editButton|bounds=954,1203,1038,1266 target_fp=activity=org.wikipedia.commons.FilePageActivity|class=android.widget.ImageView|text=|resource_id=org.wikipedia:id/editButton action=g51a3164[775,775][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/editButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][954,1203,1038,1266][] [APE] *** INFO *** Fuzzing: generate app switch events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate rotation events. [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate rotation events. [APE] *** INFO *** Fuzzing: generate random click. [APE] *** INFO *** Fuzzing: action #15 events=12 total_events=252 [APE] *** INFO *** Fuzzing: reset rotation. :Sending Touch (ACTION_DOWN): 0:(996.0,1234.5) :Sending Touch (ACTION_UP): 0:(996.0,1234.5) // Allowing start of Intent { cmp=org.wikipedia/.descriptions.DescriptionEditActivity } in package org.wikipedia // activityResuming(org.wikipedia) :Sending Trackball (ACTION_MOVE): 0:(-5.0,-2.0) :Sending Touch (ACTION_DOWN): 0:(636.0,1547.0) :Sending Touch (ACTION_UP): 0:(655.33496,1578.3818) :Sending rotation degree=0, persist=true :Sending rotation degree=1, persist=false //[calendar_time:2026-11-07 04:06:41.324 system_uptime:1884648227] // Sending event #5300 //[calendar_time:2026-11-07 04:06:41.326 system_uptime:1884648229] // Sending event #5300 //[calendar_time:2026-11-07 04:06:41.927 system_uptime:1884648831] // Sending event #5300 //[calendar_time:2026-11-07 04:06:41.929 system_uptime:1884648833] // Sending event #5300 :Sending Touch (ACTION_DOWN): 0:(678.0,2009.0) :Sending Touch (ACTION_UP): 0:(678.0,2009.0) :Sending rotation degree=0, persist=false