[APE] >>>>>>>> SATA begin step [66][Elapsed: 0000 00:01:22] [APE] *** INFO *** Explored 4 app activities. [APE] *** INFO *** Used: 4 MB, Max: 192 MB, Available: 188 MB [APE] *** INFO *** Create state g7s17[65,65][1]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] for GUI tree GUITree[98@0]@g7s17[65,65][1]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] [APE] *** INFO *** State g7s17[65,65][1]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] is excluded from refresh check. [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g7s17[65,65][1]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6]: #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: g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] [APE] Action: g7a86[65,65][1]@MODEL_CLICKclass=android.widget.AutoCompleteTextView;resource-id=org.odk.collect.android:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=52][T=0][][S=1.000000][RN=1][168,98,954,193][Search] [APE] Target: g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] [APE] Add target result: true [APE] GSTG(g7): activities (4), states (11), edges (39), unvisited actions (26), visited actions (39) [APE] *** INFO *** - 0.25 1 org.odk.collect.android.mainmenu.MainMenuActivity[1,38][2][S=1] [APE] *** INFO *** - 0.95 4 org.odk.collect.android.activities.InstanceChooserList[2,37][36][S=4] [APE] *** INFO *** - 0.62 5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,66][31][S=5] [APE] *** INFO *** - 0.10 1 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,59][1][S=1] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (6) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 2 USE_BUFFER [APE] 61 EARLY_STAGE [APE] 2 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 0 BUFFER_LOSS [APE] 23 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g7a85[-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][#342fb1d5] [APE] 2 g7a86[65,65][1]@MODEL_CLICKclass=android.widget.AutoCompleteTextView;resource-id=org.odk.collect.android:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][168,98,954,193][Search] [APE] 3 g7a87[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.AutoCompleteTextView;resource-id=org.odk.collect.android:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][168,98,954,193][Search] [APE] 4 g7a88[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][975,83,1080,209][] [APE] 5 g7a89[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][975,83,1080,209][] [APE] 6 g7a90[-1,0][0]@MODEL_BACKg7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g7a88[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][975,83,1080,209][] [APE] *** INFO *** - g7a89[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][975,83,1080,209][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] [APE] *** INFO *** > - B: g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] [APE] *** INFO *** Never move from a cold state (g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6]) to a hot state (g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g7a88[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][975,83,1080,209][] by strategy EARLY_STAGE [APE] Last state: g3s8[39,64][15]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@1560952057@Naming[0]@[W=4][A=5] [APE] Last action: g3a42[64,64][1]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/menu_filter;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][848,83,975,209][] [APE] Curr state: g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] [APE] Curr action: g7a86[65,65][1]@MODEL_CLICKclass=android.widget.AutoCompleteTextView;resource-id=org.odk.collect.android:id/search_src_text;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][168,98,954,193][Search] [APE] New state: g7s17[65,66][2]org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity@-441073438@Naming[0]@[W=4][A=6] [APE] New action: g7a88[66,66][1]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][975,83,1080,209][] [APE] >>>>>>>> SATA end step [66] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity|class=android.widget.ImageView|text=|resource_id=|bounds=975,83,1080,209 target_fp=activity=org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity|class=android.widget.ImageView|text=|resource_id= action=g7a88[66,66][1]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][975,83,1080,209][] [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate trackball. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate random click. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate app switch events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: action #1 events=24 total_events=24 [APE] *** INFO *** Fuzzing: reset rotation. :Sending Touch (ACTION_DOWN): 0:(1027.5,146.0) :Sending Touch (ACTION_UP): 0:(1027.5,146.0) :Sending Trackball (ACTION_MOVE): 0:(-1.0,4.0) //[calendar_time:2026-11-07 01:43:46.778 system_uptime:1876074270] // Sending event #300 :Sending Trackball (ACTION_UP): 0:(0.0,0.0) :Sending Touch (ACTION_DOWN): 0:(1021.0,1393.0) :Sending Touch (ACTION_UP): 0:(1008.21094,1408.8789) :Sending Touch (ACTION_DOWN): 0:(766.0,1346.0) :Sending Touch (ACTION_UP): 0:(745.209,1301.3682) :Sending Trackball (ACTION_MOVE): 0:(3.0,-4.0) :Sending Trackball (ACTION_UP): 0:(0.0,0.0) // Allowing start of Intent { cmp=org.odk.collect.android/.preferences.screens.ProjectPreferencesActivity } in package org.odk.collect.android :Sending Touch (ACTION_DOWN): 0:(756.0,1790.0) :Sending Touch (ACTION_UP): 0:(756.0,1790.0) // Allowing start of Intent { cmp=org.odk.collect.android/.configure.qr.QRCodeTabsActivity } in package org.odk.collect.android // Allowing start of Intent { cmp=org.odk.collect.android/com.karumi.dexter.DexterActivity } in package org.odk.collect.android // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller // 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 Trackball (ACTION_MOVE): 0:(2.0,2.0) :Sending Trackball (ACTION_UP): 0:(0.0,0.0) :Sending Trackball (ACTION_MOVE): 0:(-1.0,-3.0) :Sending rotation degree=0, persist=false