{ "app": "omninotes", "condition": "JEV_PAIRWISE", "reference": false, "run_id": "run_ad46e2ac9d7e407da53250b006f6c382", "step": 1395, "elapsed_s": "2299.143", "selection": { "event": "SELECTION_DECISION", "step": 1395, "monotonic_ns": 1893069641510783, "wall_time_ms": 1794004022051, "abstraction_version": 15, "state_id": "g12s49", "model_action_id": "g12a426", "snapshot_reason": "selection", "state_visits": 41, "state_first_seen": 162, "state_last_seen": 1395, "state_saturated": true, "state_saturation": 1, "native_state_saturated": true, "native_unsaturated_model_action_count": 0, "model_action_count": 3, "enabled_valid_action_count": 3, "unsaturated_model_action_count": 0, "unvisited_model_action_count": 0, "effective_unvisited_model_action_count": 0, "effective_state_saturated": true, "local_probe_action_count": 0, "navigation_action_count": 0, "enabled_valid_unvisited_action_count": 0, "unvisited_model_action_ids": "", "selection_strategy": "EARLY_STAGE", "selection_context": "navigation", "selection_buffer_size_after": 1, "selected_model_action_type": "MODEL_BACK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 27, "selected_action_fingerprint": "type=MODEL_BACK", "selected_resolved_node_count": 0 }, "inputs": [ { "input_id": "other-7652", "step": "1395", "version": "15", "elapsed_s": "2299.143", "wall_time_ms": "1794004022051", "next_input_wall_ms": "1794004027529", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "EVENT_CLEAN_RESTART EVENT_CLEAN_RESTART", "action_type": "EVENT_CLEAN_RESTART", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "NA", "concrete_identity": "NA", "state_id": "g12s49", "source_gui_id": "NA", "activity": "NA", "activity_evidence": "NA", "labels": "NA", "probe": "False", "strategy": "EARLY_STAGE", "context": "navigation", "native_branch": "Remote Greedy", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:107321", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/jev-audit/inputs/other-7653.json" } ], "following_transition": {}, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_ad46e2ac9d7e407da53250b006f6c382/run_ad46e2ac9d7e407da53250b006f6c382-step-1395-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/native/sata-it.feio.android.omninotes-ape-sata-running-minutes-60/ape-state-screenshots/g12s49-162.png", "capture_step": 162, "requested_step": 1395, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": null, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:107321", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [1395][Elapsed: 0000 00:38:18]", "[APE] *** INFO *** Explored 9 app activities.", "[APE] *** INFO *** Used: 39 MB, Max: 192 MB, Available: 153 MB", "[APE] *** INFO *** Create state g12s49[162,1373][40]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3] for GUI tree GUITree[1506@0]@g12s49[162,1373][40]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** State g12s49[162,1373][40]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3] is excluded from refresh check.", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g12s49[162,1373][40]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3]: #0", "[APE] *** INFO *** Already too many states 69 in the activity it.feio.android.omninotes.MainActivity.", "[APE] *** INFO *** Already too many states 69 in the activity it.feio.android.omninotes.MainActivity.", "[APE] *** INFO *** Checking over-abstracted states takes 0 ms", "[APE] *** INFO *** Post-checking under-abstracted states takes 0 ms", "[APE] === Adding edge...", "[APE] Source: g15s114[893,1394][292]it.feio.android.omninotes.MainActivity@-1083119042@Naming[0]@[W=6][A=8]", "[APE] Action: g15a1275[900,1394][37]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=12][T=0][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] Target: g12s49[162,1395][41]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3]", "[APE] Add target result: false", "[APE] GSTG(g15): activities (9), states (107), edges (687), unvisited actions (592), visited actions (595)", "[APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - 0.56 23 it.feio.android.omninotes.SettingsActivity[44,794][270][S=23]", "[APE] *** INFO *** - 0.04 1 org.wikipedia.page.edithistory.EditHistoryListActivity[193,193][1][S=1]", "[APE] *** INFO *** - 0.48 69 it.feio.android.omninotes.MainActivity[1,1395][1058][S=69]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.AboutActivity[276,278][2][S=1]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.intro.IntroActivity[404,418][15][S=1]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.StatsActivity[292,432][2][S=1]", "[APE] *** INFO *** - 0.64 7 it.feio.android.omninotes.PasswordActivity[104,662][66][S=7]", "[APE] GSTG is NOT updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (8), state (0), activity (8)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 91 USE_BUFFER", "[APE] 1001 EARLY_STAGE", "[APE] 280 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 81 BUFFER_LOSS", "[APE] 398 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 22 PROBE", "[APE] 1 g12a424[162,326][3]@MODEL_CLICKclass=android.widget.LinearLayout;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=4][1690,347,2400,473][]", "[APE] 2 g12a425[320,957][10]@MODEL_CLICKclass=android.widget.RadioButton;resource-id=it.feio.android.omninotes:id/radio;enabled=true;checkable=true;[P=52][T=0][][S=1.000000][RN=4][2232,95,2358,221][]", "[APE] 3 g12a426[1002,1373][27]@MODEL_BACKg12s49[162,1395][41]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3][P=8][T=0][]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g12s49[162,1395][41]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3]", "[APE] *** INFO *** > - B: g15s114[893,1394][292]it.feio.android.omninotes.MainActivity@-1083119042@Naming[0]@[W=6][A=8]", "[APE] *** INFO *** Never move from a cold state (g12s49[162,1395][41]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3]) to a hot state (g15s114[893,1394][292]it.feio.android.omninotes.MainActivity@-1083119042@Naming[0]@[W=6][A=8]) in ABA.", "[APE] *** INFO *** List trivial activities.", "[APE] *** INFO *** - it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - org.wikipedia.page.edithistory.EditHistoryListActivity[193,193][1][S=1]", "[APE] *** INFO *** Find a path (1/1) to state g15s114[893,1394][292]it.feio.android.omninotes.MainActivity@-1083119042@Naming[0]@[W=6][A=8] for backtrack.", "[APE] *** INFO *** Fill buffer..", "[APE] *** INFO *** 0 g15e655[1035,1406][27]@[H(27),M(1),T(0.000000)] g12s49 =[g12a426]=> g15s114", "[APE] *** INFO *** Select action g12a426[1002,1373][27]@MODEL_BACKg12s49[162,1395][41]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3][P=8][T=200][] by strategy EARLY_STAGE", "[APE] Last state: g11s39[100,1393][67]it.feio.android.omninotes.MainActivity@1319255626@Naming[0]@[W=4][A=5]", "[APE] Last action: g11a311[156,1393][41]@MODEL_BACKg11s39[100,1393][67]it.feio.android.omninotes.MainActivity@1319255626@Naming[0]@[W=4][A=5][P=8][T=0][]", "[APE] Curr state: g15s114[893,1394][292]it.feio.android.omninotes.MainActivity@-1083119042@Naming[0]@[W=6][A=8]", "[APE] Curr action: g15a1275[900,1394][37]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_sort;enabled=true;clickable=true;long-clickable=true;[P=12][T=0][][S=1.000000][RN=1][2168,73,2295,199][]", "[APE] New state: g12s49[162,1395][41]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3]", "[APE] New action: g12a426[1002,1395][28]@MODEL_BACKg12s49[162,1395][41]it.feio.android.omninotes.MainActivity@-384925604@Naming[0]@[W=3][A=3][P=8][T=200][]", "[APE] >>>>>>>> SATA end step [1395]", "[APE] *** INFO *** Try to restart package it.feio.android.omninotes for start action", "[APE] Stop all packages, retry count 9", "[APE] Try to stop package it.feio.android.omninotes", "[APE] *** INFO *** Package it.feio.android.omninotes has been stopped", "[APE] *** INFO *** Try to grant saved permission to it.feio.android.omninotes for clearing package... ", "[APE] *** INFO *** Grant saved permission android.permission.ACCESS_COARSE_LOCATION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.ACCESS_COARSE_LOCATION is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.ACCESS_FINE_LOCATION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.ACCESS_FINE_LOCATION is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.VIBRATE to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.VIBRATE is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.RECEIVE_BOOT_COMPLETED to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.RECEIVE_BOOT_COMPLETED is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.RECORD_AUDIO to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.RECORD_AUDIO is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_EXTERNAL_STORAGE to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_EXTERNAL_STORAGE is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_IMAGES to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_IMAGES is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_VIDEO to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_VIDEO is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_AUDIO to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_AUDIO is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.android.alarm.permission.SET_ALARM to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.android.alarm.permission.SET_ALARM is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.android.launcher.permission.INSTALL_SHORTCUT to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.android.launcher.permission.INSTALL_SHORTCUT is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.android.launcher.permission.UNINSTALL_SHORTCUT to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.android.launcher.permission.UNINSTALL_SHORTCUT is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.pushbullet.android.permission.READ_MESSAGING_EXTENSION_DATA to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.pushbullet.android.permission.READ_MESSAGING_EXTENSION_DATA is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.pushbullet.android.permission.SEND_MESSAGES to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.pushbullet.android.permission.SEND_MESSAGES is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.WAKE_LOCK to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.WAKE_LOCK is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.SCHEDULE_EXACT_ALARM to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.SCHEDULE_EXACT_ALARM is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.POST_NOTIFICATIONS to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.POST_NOTIFICATIONS is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.ACCESS_NETWORK_STATE to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.ACCESS_NETWORK_STATE is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.google.android.providers.gsf.permission.READ_GSERVICES to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.google.android.providers.gsf.permission.READ_GSERVICES is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission com.google.android.gms.permission.ACTIVITY_RECOGNITION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission com.google.android.gms.permission.ACTIVITY_RECOGNITION is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.INTERNET to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.INTERNET is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission it.feio.android.omninotes.DYNAMIC_RECEIVER_NOT_EXPORTED_PERMISSION to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission it.feio.android.omninotes.DYNAMIC_RECEIVER_NOT_EXPORTED_PERMISSION is NOT granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Grant saved permission android.permission.READ_MEDIA_VISUAL_USER_SELECTED to it.feio.android.omninotes... ", "[APE] *** INFO *** Permission android.permission.READ_MEDIA_VISUAL_USER_SELECTED is granted to it.feio.android.omninotes... ", "[APE] *** INFO *** Let's wait for activity loading...", ":Switch: #Intent;action=android.intent.action.MAIN;category=android.intent.category.LAUNCHER;launchFlags=0x10200000;component=it.feio.android.omninotes/.MainActivity;end", ":Switch with shell: it.feio.android.omninotes/.MainActivity", " // Allowing start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.LAUNCHER] cmp=it.feio.android.omninotes/.MainActivity } in package it.feio.android.omninotes", " // Allowing start of Intent { cmp=it.feio.android.omninotes/.intro.IntroActivity } in package it.feio.android.omninotes", "[APE] *** INFO *** Expected activity package [it.feio.android.omninotes] is loaded...", "[APE] *** INFO *** App Activity it.feio.android.omninotes.intro.IntroActivity started." ], "limitation": "Methods grouped by nearest preceding inventoried input; a FUZZ batch has no per-low-level-event timestamp. The following Transition may be absent; no business success is inferred." }