{ "app": "omninotes", "condition": "JEV_PAIRWISE", "reference": false, "run_id": "run_ad46e2ac9d7e407da53250b006f6c382", "step": 191, "elapsed_s": "319.187", "selection": { "event": "SELECTION_DECISION", "step": 191, "monotonic_ns": 1891089685846440, "wall_time_ms": 1794002042095, "abstraction_version": 12, "state_id": "g12s47", "model_action_id": "g12a399", "snapshot_reason": "selection", "state_visits": 8, "state_first_seen": 158, "state_last_seen": 191, "state_saturated": false, "state_saturation": 0.26666668, "native_state_saturated": false, "native_unsaturated_model_action_count": 11, "model_action_count": 15, "enabled_valid_action_count": 15, "unsaturated_model_action_count": 11, "unvisited_model_action_count": 11, "effective_unvisited_model_action_count": 11, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 11, "enabled_valid_unvisited_action_count": 11, "unvisited_model_action_ids": "g12a396,g12a398,g12a400,g12a401,g12a403,g12a404,g12a405,g12a406,g12a407,g12a409,g12a410", "selection_strategy": "EARLY_STAGE", "selection_context": "navigation", "selection_buffer_size_after": 1, "selected_model_action_type": "MODEL_CLICK", "selected_model_action_saturated": true, "selected_model_action_unvisited": false, "selected_effective_unvisited": false, "selected_navigation_target": false, "selected_model_action_visits": 2, "selected_action_fingerprint": "type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_attachment|bounds=467,73,594,199", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-1061", "step": "191", "version": "12", "elapsed_s": "319.187", "wall_time_ms": "1794002042095", "next_input_wall_ms": "1794002042997", "input_completed_wall_ms": "1794002042119", "input_confirmed": "True", "action": "MODEL_CLICK Axuntu", "action_type": "MODEL_CLICK", "text": "", "content_desc": "Axuntu", "resource_id": "it.feio.android.omninotes:id/menu_attachment", "model_action_id": "g12a399", "concrete_identity": "MODEL_CLICK|/*[@class=\"android.widget.FrameLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"androidx.drawerlayout.widget.DrawerLayout\"][@resource-id=\"it.feio.android.omninotes:id/drawer_layout\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.RelativeLayout\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.Button\"][@resource-id=\"it.feio.android.omninotes:id/menu_attachment\"][@text=\"\"][@content-desc=\"Axuntu\"][@index=1][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g12s47", "source_gui_id": "266", "activity": "it.feio.android.omninotes.MainActivity", "activity_evidence": "GUI receipt", "labels": "[\"#d8decfbf\",\"Axuntu\",\"Categoría\",\"Amestar etiquetes\",\"Compartir\",\"Más opciones\",\"New! Tel\",\"11/7/26 5:53 AM \",\"avisu\",\"Amestar un avisu\"]", "probe": "False", "strategy": "EARLY_STAGE", "context": "navigation", "native_branch": "EARLY_STAGE: ABA/backward/other (NA finer branch)", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:14268", "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/generated-1062.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 192, "monotonic_ns": 1891090584153676, "wall_time_ms": 1794002042993, "abstraction_version": 12, "state_id": "g12s47", "model_action_id": "g12a399", "transition_id": "g12e154:189", "new_state": false, "new_model_action": false, "refinement": false, "self_loop": false, "activity_unchanged": true, "gui_unchanged": false, "target_state": "g1s12", "input_confirmed": true }, "first_methods_since_inputs": [], "first_method_count": 0, "category_counts": {}, "libraries": {}, "source_screenshot": { "local": "cases/run_ad46e2ac9d7e407da53250b006f6c382/run_ad46e2ac9d7e407da53250b006f6c382-step-191-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/g12s47-158.png", "capture_step": 158, "requested_step": 191, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "target_screenshot": { "local": "cases/run_ad46e2ac9d7e407da53250b006f6c382/run_ad46e2ac9d7e407da53250b006f6c382-step-191-after.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/g1s12-27.png", "capture_step": 27, "requested_step": 192, "alignment": "same final-State representative; NOT an exact action-time screenshot" }, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_ad46e2ac9d7e407da53250b006f6c382.zip!device-output/executor.log:14268", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [191][Elapsed: 0000 00:05:19]", "[APE] *** INFO *** Explored 6 app activities.", "[APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB", "[APE] *** INFO *** Create state g12s47[158,189][7]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15] for GUI tree GUITree[266@0]@g12s47[158,189][7]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g12s47[158,189][7]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]: #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: g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]", "[APE] Action: g1a98[190,190][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,1073,1006,1200][Grabar]", "[APE] Target: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]", "[APE] Add target result: true", "[APE] GSTG(g12): activities (5), states (43), edges (157), unvisited actions (215), visited actions (154)", "[APE] *** INFO *** - 0.42 3 it.feio.android.omninotes.CategoryActivity[14,23][11][S=3]", "[APE] *** INFO *** - 0.43 13 it.feio.android.omninotes.SettingsActivity[44,155][76][S=13]", "[APE] *** INFO *** - 0.34 20 it.feio.android.omninotes.MainActivity[1,191][82][S=20]", "[APE] *** INFO *** - 1.00 1 it.feio.android.omninotes.NoteInfosActivity[167,170][2][S=1]", "[APE] *** INFO *** - 0.57 6 it.feio.android.omninotes.PasswordActivity[104,145][52][S=6]", "[APE] GSTG is updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (20)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 2 USE_BUFFER", "[APE] 185 EARLY_STAGE", "[APE] 0 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 2 BUFFER_LOSS", "[APE] 29 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 3 PROBE", "[APE] 1 g12a396[-1,0][0]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,63,147,210][#d8decfbf]", "[APE] 2 g12a397[165,171][3]@MODEL_CLICKclass=android.widget.ImageView;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][975,73,1080,199][]", "[APE] 3 g12a398[-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,73,1080,199][]", "[APE] 4 g12a399[187,189][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][467,73,594,199][]", "[APE] 5 g12a400[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_tag;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][721,73,848,199][]", "[APE] 6 g12a401[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_share;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][848,73,975,199][]", "[APE] 7 g12a402[186,186][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][39,231,1059,321][New! Tel]", "[APE] 8 g12a403[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_title;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][39,231,1059,321][New! Tel]", "[APE] 9 g12a404[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_content;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][58,363,1038,421][11/7/26 ]", "[APE] 10 g12a405[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=it.feio.android.omninotes:id/detail_content;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][58,363,1038,421][11/7/26 ]", "[APE] 11 g12a406[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][]", "[APE] 12 g12a407[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][]", "[APE] 13 g12a408[158,158][1]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][594,73,721,199][]", "[APE] 14 g12a409[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_category;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][594,73,721,199][]", "[APE] 15 g12a410[-1,0][0]@MODEL_BACKg12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** - g12a406[-1,0][0]@MODEL_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][]", "[APE] *** INFO *** - g12a407[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.LinearLayout;resource-id=it.feio.android.omninotes:id/reminder_layout;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][42,460,1038,565][]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]", "[APE] *** INFO *** > - B: g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]", "[APE] *** INFO *** Move from A (g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]) to B (g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]).", "[APE] *** INFO *** Try to find a path (1/1) to a greedy state that we want to greedily visit in ABA.", "[APE] 1 (g12s47,g12a399,g1s12)", "[APE] *** INFO *** Move from A (g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]) to B (g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]).", "[APE] *** INFO *** Fill buffer..", "[APE] *** INFO *** 0 g12e154[220,222][2]@[H(2),M(0),T(0.000000)] g12s47 =[g12a399]=> g1s12", "[APE] *** INFO *** Move from A (g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]) to B (g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]) for ABA within 1 steps that start from action g12a399[187,189][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][]", "[APE] *** INFO *** Select action g12a399[187,189][2]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][] by strategy EARLY_STAGE", "[APE] Last state: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]", "[APE] Last action: g12a399[187,191][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][]", "[APE] Curr state: g1s12[27,190][5]it.feio.android.omninotes.MainActivity@-978835193@Naming[0]@[W=9][A=9]", "[APE] Curr action: g1a98[190,190][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=it.feio.android.omninotes:id/recording;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][74,1073,1006,1200][Grabar]", "[APE] New state: g12s47[158,191][8]it.feio.android.omninotes.MainActivity@-1345297389@Naming[0]@[W=10][A=15]", "[APE] New action: g12a399[187,191][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][]", "[APE] >>>>>>>> SATA end step [191]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_attachment|bounds=467,73,594,199 target_fp=activity=it.feio.android.omninotes.MainActivity|class=android.widget.Button|text=|resource_id=it.feio.android.omninotes:id/menu_attachment action=g12a399[187,191][3]@MODEL_CLICKclass=android.widget.Button;resource-id=it.feio.android.omninotes:id/menu_attachment;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][467,73,594,199][]", ":Sending Touch (ACTION_DOWN): 0:(530.5,136.0)", ":Sending Touch (ACTION_UP): 0:(530.5,136.0)" ], "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." }