[APE] >>>>>>>> SATA begin step [29][Elapsed: 0000 00:00:56] [APE] *** INFO *** Explored 4 app activities. [APE] *** INFO *** Used: 5 MB, Max: 192 MB, Available: 187 MB [APE] *** INFO *** Too many nodes in WebView (163 > 64), remove the WebView. [APE] *** INFO *** Too many nodes in WebView (164 > 64), remove the WebView. [APE] *** INFO *** Patching this node: android.widget.FrameLayout@org.wikipedia:id/page_toolbar_button_tabs@ [APE] *** INFO *** Patching child node: android.widget.TextView@org.wikipedia:id/tabsCountText@1 [APE] *** INFO *** Create state g5s23[-1,0][0]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11] for GUI tree GUITree[52@0]@g5s23[-1,0][0]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g5s23[-1,0][0]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11]: #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: g5s22[28,28][1]org.wikipedia.page.PageActivity@555293463@Naming[0]@[W=11][A=11] [APE] Action: g5a262[28,28][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,73,147,220][#c8e51633] [APE] Target: g5s23[29,29][1]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11] [APE] Add target result: true [APE] GSTG(g5): activities (4), states (17), edges (26), unvisited actions (207), visited actions (24) [APE] *** INFO *** - 0.08 8 org.wikipedia.main.MainActivity[1,21][14][S=8] [APE] *** INFO *** - 0.78 2 org.wikipedia.commons.FilePageActivity[9,17][9][S=2] [APE] *** INFO *** - 0.07 5 org.wikipedia.page.PageActivity[22,29][6][S=5] [APE] *** INFO *** - 0.06 2 org.wikipedia.language.LangLinksActivity[25,27][2][S=2] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (1) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 0 USE_BUFFER [APE] 28 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 2 BUFFER_LOSS [APE] 3 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g5a272[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/tabsCountText;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][863,120,918,173][1] [APE] 2 g5a273[-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][#54d2e49a] [APE] 3 g5a274[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_toolbar_button_search;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][147,99,817,194][Search W] [APE] 4 g5a275[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/page_toolbar_button_show_overflow_menu;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][954,84,1080,210][] [APE] 5 g5a276[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=org.wikipedia:id/view_page_header_image;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,231,1080,1023][] [APE] 6 g5a277[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_save;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2148,216,2337][Save] [APE] 7 g5a278[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_language;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][216,2148,432,2337][Language] [APE] 8 g5a279[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_find_in_article;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][432,2148,648,2337][Find in ] [APE] 9 g5a280[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_theme;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][648,2148,864,2337][Theme] [APE] 10 g5a281[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_contents;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][864,2148,1080,2337][Contents] [APE] 11 g5a282[-1,0][0]@MODEL_BACKg5s23[29,29][1]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g5a273[-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][#54d2e49a] [APE] *** INFO *** - g5a281[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/page_contents;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][864,2148,1080,2337][Contents] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g5s23[29,29][1]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11] [APE] *** INFO *** > - B: g5s22[28,28][1]org.wikipedia.page.PageActivity@555293463@Naming[0]@[W=11][A=11] [APE] *** INFO *** Never move from a cold state (g5s23[29,29][1]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11]) to a hot state (g5s22[28,28][1]org.wikipedia.page.PageActivity@555293463@Naming[0]@[W=11][A=11]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Requesting disabling restart. [APE] *** INFO *** Select action g5a272[-1,0][0]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/tabsCountText;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][863,120,918,173][1] by strategy EARLY_STAGE [APE] Last state: g5s21[27,27][1]org.wikipedia.language.LangLinksActivity@-1097746351@Naming[6]@[W=12][A=15] [APE] Last action: g5a250[27,27][1]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.recyclerview.widget.RecyclerView;resource-id=org.wikipedia:id/langlinks_recycler;enabled=true;scrollable=true;[P=44][T=200][][S=0.000000][RN=1][0,231,1080,2337][] [APE] Curr state: g5s22[28,28][1]org.wikipedia.page.PageActivity@555293463@Naming[0]@[W=11][A=11] [APE] Curr action: g5a262[28,28][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,73,147,220][#c8e51633] [APE] New state: g5s23[29,29][1]org.wikipedia.page.PageActivity@556247767@Naming[0]@[W=11][A=11] [APE] New action: g5a272[29,29][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/tabsCountText;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][863,120,918,173][1] [APE] >>>>>>>> SATA end step [29] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=1|resource_id=org.wikipedia:id/tabsCountText|bounds=863,120,918,173 target_fp=activity=org.wikipedia.page.PageActivity|class=android.widget.TextView|text=1|resource_id=org.wikipedia:id/tabsCountText action=g5a272[29,29][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=org.wikipedia:id/tabsCountText;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][863,120,918,173][1] [APE] *** INFO *** Fuzzing: generate random click. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate app switch events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate app switch events. [APE] *** INFO *** Fuzzing: generate rotation events. [APE] *** INFO *** Fuzzing: action #2 events=28 total_events=39 [APE] *** INFO *** Fuzzing: reset rotation. :Sending Touch (ACTION_DOWN): 0:(890.5,146.5) :Sending Touch (ACTION_UP): 0:(890.5,146.5) // Allowing start of Intent { cmp=org.wikipedia/.page.tabs.TabActivity } in package org.wikipedia :Sending Touch (ACTION_DOWN): 0:(43.0,2245.0) :Sending Touch (ACTION_UP): 0:(43.0,2245.0) // activityResuming(org.wikipedia) :Sending Trackball (ACTION_MOVE): 0:(4.0,3.0) :Sending Trackball (ACTION_MOVE): 0:(0.0,3.0) //[calendar_time:2026-11-07 02:42:42.869 system_uptime:1879609773] // Sending event #300 //[calendar_time:2026-11-07 02:42:42.871 system_uptime:1879609774] // Sending event #300 //[calendar_time:2026-11-07 02:42:43.473 system_uptime:1879610376] // Sending event #300 //[calendar_time:2026-11-07 02:42:43.474 system_uptime:1879610378] // Sending event #300 :Sending Trackball (ACTION_MOVE): 0:(1.0,2.0) // Rejecting start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.HOME] cmp=com.google.android.apps.nexuslauncher/.NexusLauncherActivity } in package com.google.android.apps.nexuslauncher :Sending rotation degree=0, persist=true :Sending rotation degree=0, persist=false