{ "app": "odkcollect", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_4c508e1625894546a49a3ca708ce967b", "step": 319, "elapsed_s": "486.089", "selection": { "event": "SELECTION_DECISION", "step": 319, "monotonic_ns": 1883827797210214, "wall_time_ms": 1793994780305, "abstraction_version": 15, "state_id": "g15s67", "model_action_id": "g15a364", "snapshot_reason": "selection", "state_visits": 1, "state_first_seen": 319, "state_last_seen": 319, "state_saturated": false, "state_saturation": 0, "native_state_saturated": false, "native_unsaturated_model_action_count": 4, "model_action_count": 5, "enabled_valid_action_count": 4, "unsaturated_model_action_count": 4, "unvisited_model_action_count": 5, "effective_unvisited_model_action_count": 5, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 4, "enabled_valid_unvisited_action_count": 4, "unvisited_model_action_ids": "g15a363,g15a364,g15a365,g15a366,g15a367", "selection_strategy": "EARLY_STAGE", "selection_context": "exploration", "selection_buffer_size_after": 0, "selected_model_action_type": "MODEL_CLICK", "selected_model_action_saturated": false, "selected_model_action_unvisited": true, "selected_effective_unvisited": true, "selected_navigation_target": true, "selected_model_action_visits": 0, "selected_action_fingerprint": "type=MODEL_CLICK|activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.EditText|text=|resource_id=org.odk.collect.android:id/confirmation_field_input|bounds=133,1258,947,1399", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-1663", "step": "319", "version": "15", "elapsed_s": "486.089", "wall_time_ms": "1793994780305", "next_input_wall_ms": "1793994783615", "input_completed_wall_ms": "1793994782329", "input_confirmed": "True", "action": "MODEL_CLICK org.odk.collect.android:id/confirmation_field_input", "action_type": "MODEL_CLICK", "text": "", "content_desc": "", "resource_id": "org.odk.collect.android:id/confirmation_field_input", "model_action_id": "g15a364", "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=\"android.widget.ScrollView\"][@resource-id=\"\"][@text=\"\"][@content-desc=\"\"][@index=0][@enabled='true'][@clickable='false'][@checkable='false'][@long-clickable='false'][@scrollable='false']/*[@class=\"android.widget.EditText\"][@resource-id=\"org.odk.collect.android:id/confirmation_field_input\"][@text=\"\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='true'][@scrollable='false']", "state_id": "g15s67", "source_gui_id": "465", "activity": "org.odk.collect.android.preferences.screens.ProjectPreferencesActivity", "activity_evidence": "exact source_gui_id transition receipt", "labels": "NA", "probe": "False", "strategy": "EARLY_STAGE", "context": "exploration", "native_branch": "Local Greedy", "executor_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/executor.log:23933", "observed_methods_until_next": "6", "category_counts": "{\"app_domain\":1,\"third_party\":5}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1665.json" } ], "following_transition": { "event": "NATIVE_TRANSITION", "step": 320, "monotonic_ns": 1883831055612135, "wall_time_ms": 1793994783563, "abstraction_version": 15, "state_id": "g15s67", "model_action_id": "g15a364", "transition_id": "g15e210:315", "new_state": true, "new_model_action": true, "refinement": false, "self_loop": false, "activity_unchanged": false, "gui_unchanged": false, "target_state": "g15s68", "input_confirmed": true }, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793994780845.0", "log_line": "32440", "category": "app_domain", "library": "app_domain", "elapsed_s": "486.629", "input_id": "input-1663", "step": "319", "action": "MODEL_CLICK org.odk.collect.android:id/confirmation_field_input", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1665.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32440" }, { "method": "", "wall_time_ms": "1793994782674.0", "log_line": "32444", "category": "third_party", "library": "AndroidX", "elapsed_s": "488.458", "input_id": "input-1663", "step": "319", "action": "MODEL_CLICK org.odk.collect.android:id/confirmation_field_input", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1665.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32444" }, { "method": "", "wall_time_ms": "1793994782674.0", "log_line": "32443", "category": "third_party", "library": "AndroidX", "elapsed_s": "488.458", "input_id": "input-1663", "step": "319", "action": "MODEL_CLICK org.odk.collect.android:id/confirmation_field_input", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1665.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32443" }, { "method": "", "wall_time_ms": "1793994782674.0", "log_line": "32442", "category": "third_party", "library": "AndroidX", "elapsed_s": "488.458", "input_id": "input-1663", "step": "319", "action": "MODEL_CLICK org.odk.collect.android:id/confirmation_field_input", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1665.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32442" }, { "method": "", "wall_time_ms": "1793994782674.0", "log_line": "32445", "category": "third_party", "library": "AndroidX", "elapsed_s": "488.458", "input_id": "input-1663", "step": "319", "action": "MODEL_CLICK org.odk.collect.android:id/confirmation_field_input", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1665.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32445" }, { "method": "", "wall_time_ms": "1793994782674.0", "log_line": "32441", "category": "third_party", "library": "AndroidX", "elapsed_s": "488.458", "input_id": "input-1663", "step": "319", "action": "MODEL_CLICK org.odk.collect.android:id/confirmation_field_input", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/jev-audit/inputs/generated-1665.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/method-logcat.log:32441" } ], "first_method_count": 6, "category_counts": { "app_domain": 1, "third_party": 5 }, "libraries": { "app_domain": 1, "AndroidX": 5 }, "source_screenshot": { "local": "cases/run_4c508e1625894546a49a3ca708ce967b/run_4c508e1625894546a49a3ca708ce967b-step-319-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/ape-state-screenshots/g15s67-319.png", "capture_step": 319, "requested_step": 319, "alignment": "exact step" }, "target_screenshot": { "local": "cases/run_4c508e1625894546a49a3ca708ce967b/run_4c508e1625894546a49a3ca708ce967b-step-319-after.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/native/sata-org.odk.collect.android-ape-sata-running-minutes-60/ape-state-screenshots/g15s68-320.png", "capture_step": 320, "requested_step": 320, "alignment": "exact step" }, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_4c508e1625894546a49a3ca708ce967b.zip!device-output/executor.log:23933", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [319][Elapsed: 0000 00:08:05]", "[APE] *** INFO *** Explored 11 app activities.", "[APE] *** INFO *** Used: 7 MB, Max: 192 MB, Available: 185 MB", "[APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[462@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking new state: g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5], iteration: #4", "[APE] *** INFO *** getRootInActiveWindowSlow takes 273 ms.", "[APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[463@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5], iteration: #1", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[464@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5], iteration: #0", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] for GUI tree GUITree[465@0]@g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** State g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5] is excluded from future refresh checks.", "[APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms", "[APE] *** INFO *** Check over-abstracted states g15s67[-1,0][0]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@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: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] Action: g12a256[318,318][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,615,1080,756][]", "[APE] Target: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]", "[APE] Add target result: true", "[APE] GSTG(g15): activities (11), states (53), edges (210), unvisited actions (98), visited actions (203)", "[APE] *** INFO *** - 0.79 5 org.odk.collect.android.mainmenu.MainMenuActivity[1,316][35][S=5]", "[APE] *** INFO *** - 0.95 4 org.odk.collect.android.activities.InstanceChooserList[2,213][37][S=4]", "[APE] *** INFO *** - 1.00 1 com.karumi.dexter.DexterActivity[67,198][2][S=1]", "[APE] *** INFO *** - 0.69 5 org.odk.collect.android.instancemanagement.send.InstanceUploaderListActivity[39,216][32][S=5]", "[APE] *** INFO *** - 0.83 2 org.odk.collect.android.configure.qr.QRCodeTabsActivity[68,74][8][S=2]", "[APE] *** INFO *** - 0.69 5 org.odk.collect.android.activities.FormDownloadListActivity[161,234][39][S=5]", "[APE] *** INFO *** - 0.87 4 org.odk.collect.android.formlists.blankformlist.BlankFormListActivity[126,227][40][S=4]", "[APE] *** INFO *** - 0.48 17 org.odk.collect.android.preferences.screens.ProjectPreferencesActivity[59,319][94][S=17]", "[APE] *** INFO *** - 0.58 5 org.odk.collect.android.activities.FirstLaunchActivity[288,305][30][S=5]", "[APE] *** INFO *** - 1.00 1 org.odk.collect.android.activities.AboutActivity[309,314][6][S=1]", "[APE] *** INFO *** - 0.76 4 org.odk.collect.android.activities.DeleteFormsActivity[81,219][46][S=4]", "[APE] GSTG is updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (2)", "[APE] Sata Strategy: buffer size (0)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 7 USE_BUFFER", "[APE] 288 EARLY_STAGE", "[APE] 21 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 6 BUFFER_LOSS", "[APE] 93 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 2 PROBE", "[APE] 1 g15a363[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/cancel_button;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][133,1483,947,1618][Cancel]", "[APE] 2 g15a364[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][133,1258,947,1399][]", "[APE] 3 g15a365[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][133,1258,947,1399][]", "[APE] 4 g15a366[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=org.odk.collect.android:id/delete_button;clickable=true;[P=52][T=200][, DISABLED, UNVISITED][S=0.000000][RN=1][133,1639,947,1786][Delete p]", "[APE] 5 g15a367[-1,0][0]@MODEL_BACKg15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** > - B: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] *** INFO *** Never move from a cold state (g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]) to a hot state (g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g15a364[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][133,1258,947,1399][] by strategy EARLY_STAGE", "[APE] Last state: g6s14[59,317][8]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-1558118150@Naming[4]@[W=10][A=10]", "[APE] Last action: g6a76[317,317][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=8;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1659,1080,1851][]", "[APE] Curr state: g12s47[75,318][2]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@858552279@Naming[28]@[W=5][A=5]", "[APE] Curr action: g12a256[318,318][1]@MODEL_CLICKclass=android.widget.LinearLayout;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,615,1080,756][]", "[APE] New state: g15s67[319,319][1]org.odk.collect.android.preferences.screens.ProjectPreferencesActivity@-541609739@Naming[0]@[W=4][A=5]", "[APE] New action: g15a364[319,319][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][]", "[APE] *** INFO *** Select [Sorry, t] 122/138 from string list", "[APE] *** INFO *** Use random string 43963650931", "[APE] >>>>>>>> SATA end step [319]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.EditText|text=|resource_id=org.odk.collect.android:id/confirmation_field_input|bounds=133,1258,947,1399 target_fp=activity=org.odk.collect.android.preferences.screens.ProjectPreferencesActivity|class=android.widget.EditText|text=|resource_id=org.odk.collect.android:id/confirmation_field_input action=g15a364[319,319][1]@MODEL_CLICKclass=android.widget.EditText;resource-id=org.odk.collect.android:id/confirmation_field_input;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][][S=0.000000][RN=1][133,1258,947,1399][]", "[APE] *** INFO *** Input text is 43963650931", ":Sending Touch (ACTION_DOWN): 0:(540.0,1328.5)", ":Sending Touch (ACTION_UP): 0:(540.0,1328.5)", ":Sending Touch (ACTION_DOWN): 0:(133.0,1258.0)", ":Sending Touch (ACTION_UP): 0:(133.0,1258.0)", " // Allowing start of Intent { cmp=org.odk.collect.android/.configure.qr.QRCodeTabsActivity } in package org.odk.collect.android" ], "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." }