{ "app": "activitydiary", "condition": "STARTLUX_PAIRWISE", "reference": false, "run_id": "run_200afe1a53af49e489506f56987c30c6", "step": 604, "elapsed_s": "972.218", "selection": { "event": "SELECTION_DECISION", "step": 604, "monotonic_ns": 1880440123378672, "wall_time_ms": 1793991392372, "abstraction_version": 29, "state_id": "g28s122", "model_action_id": "g28a1645", "snapshot_reason": "selection", "state_visits": 1, "state_first_seen": 604, "state_last_seen": 604, "state_saturated": false, "state_saturation": 0, "native_state_saturated": false, "native_unsaturated_model_action_count": 5, "model_action_count": 5, "enabled_valid_action_count": 5, "unsaturated_model_action_count": 5, "unvisited_model_action_count": 5, "effective_unvisited_model_action_count": 5, "effective_state_saturated": false, "local_probe_action_count": 0, "navigation_action_count": 5, "enabled_valid_unvisited_action_count": 5, "unvisited_model_action_ids": "g28a1645,g28a1646,g28a1647,g28a1648,g28a1649", "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.acra.dialog.CrashReportDialog|class=android.widget.Button|text=Cancel|resource_id=android:id/button2|bounds=542,1435,979,1561", "selected_resolved_node_count": 1 }, "inputs": [ { "input_id": "input-3289", "step": "604", "version": "29", "elapsed_s": "972.218", "wall_time_ms": "1793991392372", "next_input_wall_ms": "1793991393214", "input_completed_wall_ms": "1793991392406", "input_confirmed": "True", "action": "MODEL_CLICK Cancel", "action_type": "MODEL_CLICK", "text": "Cancel", "content_desc": "", "resource_id": "android:id/button2", "model_action_id": "g28a1645", "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.Button\"][@resource-id=\"android:id/button2\"][@text=\"Cancel\"][@content-desc=\"\"][@index=2][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false']", "state_id": "g28s122", "source_gui_id": "717", "activity": "org.acra.dialog.CrashReportDialog", "activity_evidence": "NA", "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:59965", "observed_methods_until_next": "12", "category_counts": "{\"third_party\":12}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json" }, { "input_id": "other-3294", "step": "604", "version": "29", "elapsed_s": "973.06", "wall_time_ms": "1793991393214", "next_input_wall_ms": "1793991396716", "input_completed_wall_ms": "NA", "input_confirmed": "False", "action": "EVENT_START EVENT_START", "action_type": "EVENT_START", "text": "NA", "content_desc": "NA", "resource_id": "NA", "model_action_id": "NA", "concrete_identity": "NA", "state_id": "g28s122", "source_gui_id": "NA", "activity": "org.acra.dialog.CrashReportDialog", "activity_evidence": "NA", "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_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:59965", "observed_methods_until_next": "0", "category_counts": "{}", "inventory_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/other-3295.json" } ], "following_transition": {}, "first_methods_since_inputs": [ { "method": "", "wall_time_ms": "1793991392408.0", "log_line": "28372", "category": "third_party", "library": "ACRA", "elapsed_s": "972.254", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28372" }, { "method": "(org.acra.dialog.CrashReportDialogHelper)>", "wall_time_ms": "1793991392408.0", "log_line": "28374", "category": "third_party", "library": "ACRA", "elapsed_s": "972.254", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28374" }, { "method": "", "wall_time_ms": "1793991392408.0", "log_line": "28373", "category": "third_party", "library": "ACRA", "elapsed_s": "972.254", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28373" }, { "method": "", "wall_time_ms": "1793991392409.0", "log_line": "28375", "category": "third_party", "library": "ACRA", "elapsed_s": "972.255", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28375" }, { "method": "", "wall_time_ms": "1793991392409.0", "log_line": "28376", "category": "third_party", "library": "ACRA", "elapsed_s": "972.255", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28376" }, { "method": "", "wall_time_ms": "1793991392409.0", "log_line": "28377", "category": "third_party", "library": "ACRA", "elapsed_s": "972.255", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28377" }, { "method": "(android.content.Context)>", "wall_time_ms": "1793991392409.0", "log_line": "28378", "category": "third_party", "library": "ACRA", "elapsed_s": "972.255", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28378" }, { "method": "()>", "wall_time_ms": "1793991392410.0", "log_line": "28386", "category": "third_party", "library": "ACRA", "elapsed_s": "972.256", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28386" }, { "method": "", "wall_time_ms": "1793991392410.0", "log_line": "28383", "category": "third_party", "library": "ACRA", "elapsed_s": "972.256", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28383" }, { "method": "", "wall_time_ms": "1793991392433.0", "log_line": "28390", "category": "third_party", "library": "ACRA", "elapsed_s": "972.279", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28390" }, { "method": "", "wall_time_ms": "1793991392433.0", "log_line": "28391", "category": "third_party", "library": "ACRA", "elapsed_s": "972.279", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28391" }, { "method": "", "wall_time_ms": "1793991392433.0", "log_line": "28392", "category": "third_party", "library": "ACRA", "elapsed_s": "972.279", "input_id": "input-3289", "step": "604", "action": "MODEL_CLICK Cancel", "input_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/jev-audit/inputs/generated-3290.json", "method_log_ref": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/method-logcat.log:28392" } ], "first_method_count": 12, "category_counts": { "third_party": 12 }, "libraries": { "ACRA": 12 }, "source_screenshot": { "local": "cases/run_200afe1a53af49e489506f56987c30c6/run_200afe1a53af49e489506f56987c30c6-step-604-before.png", "source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/native/sata-de.rampro.activitydiary-ape-sata-running-minutes-60/ape-state-screenshots/g28s122-604.png", "capture_step": 604, "requested_step": 604, "alignment": "exact step" }, "target_screenshot": null, "executor_source": "[WORKSPACE]/experiments/guitaboo-5app-1rep-baseline-comparison-20261107/analysis/evidence-zips/run_200afe1a53af49e489506f56987c30c6.zip!device-output/executor.log:59965", "executor_lines": [ "[APE] >>>>>>>> SATA begin step [604][Elapsed: 0000 00:16:09]", "[APE] *** INFO *** Explored 10 app activities.", "[APE] *** INFO *** Used: 25 MB, Max: 192 MB, Available: 167 MB", "[APE] *** INFO *** Create state g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] for GUI tree GUITree[714@0]@g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking new state: g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5], iteration: #4", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] for GUI tree GUITree[715@0]@g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5], iteration: #1", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] for GUI tree GUITree[716@0]@g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** Checking new state: g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5], iteration: #0", "[APE] *** INFO *** getRootInActiveWindowSlow takes 1 ms.", "[APE] *** INFO *** Create state g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5] for GUI tree GUITree[717@0]@g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** Checking trivial new state: top naming equivalent.", "[APE] *** INFO *** State g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@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 g28s122[-1,0][0]org.acra.dialog.CrashReportDialog@-626514471@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: g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]", "[APE] Action: g5a195[92,603][4]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/quickFixButton1;enabled=true;clickable=true;[P=22][T=200][][S=1.000000][RN=1][836,231,1059,365][#349d1369]", "[APE] Target: g28s122[604,604][1]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]", "[APE] Add target result: true", "[APE] GSTG(g28): activities (10), states (63), edges (464), unvisited actions (416), visited actions (391)", "[APE] *** INFO *** - 0.55 4 de.rampro.activitydiary.ui.statistics.StatisticsActivity[38,387][47][S=4]", "[APE] *** INFO *** - 0.86 5 de.rampro.activitydiary.ui.generic.EditActivity[3,603][212][S=5]", "[APE] *** INFO *** - 0.34 4 de.rampro.activitydiary.ui.generic.ManageActivity[572,602][19][S=4]", "[APE] *** INFO *** - 0.31 4 de.rampro.activitydiary.ui.history.HistoryActivity[259,284][35][S=4]", "[APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.generic.AboutActivity[245,247][5][S=1]", "[APE] *** INFO *** - 0.00 1 org.acra.dialog.CrashReportDialog[604,604][1][S=1]", "[APE] *** INFO *** - 0.43 2 de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity[444,549][4][S=2]", "[APE] *** INFO *** - 0.77 8 de.rampro.activitydiary.ui.history.HistoryDetailActivity[170,493][136][S=8]", "[APE] *** INFO *** - 0.44 33 de.rampro.activitydiary.ui.main.MainActivity[1,582][433][S=33]", "[APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.location.MapActivity[26,26][3][S=1]", "[APE] GSTG is updated.", "[APE] GSTG state is changed.", "[APE] Graph Stable Counter: graph (0), state (0), activity (0)", "[APE] === Try to resolve the non-determinism!!", "[APE] *** INFO *** Find the non-deterministic edge", "[APE] *** INFO *** st1: g16e120[92,92][14]@[H(1),M(0),T(0.000000)] g5s11 =[g5a195]=> g16s62", "[APE] *** INFO *** st2: g28e463[895,895][1]@[H(1),M(0),T(0.000000)] g5s11 =[g5a195]=> g28s122", "[APE] ##################################", "[APE] 0 - class=android.widget.ImageButton;enabled=true;clickable=true;", "[APE] 1 - class=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_edit_delete;enabled=true;clickable=true;", "[APE] 2 - class=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_edit_done;enabled=true;clickable=true;", "[APE] 3 - class=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/edit_activity_color;enabled=true;clickable=true;", "[APE] 4 - class=android.widget.EditText;resource-id=de.rampro.activitydiary:id/edit_activity_name;index=0;enabled=true;clickable=true;long-clickable=true;", "[APE] ----------------------------------", "[APE] ----------------------------------", "[APE] 0 + class=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;", "[APE] 1 + class=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;", "[APE] 2 + class=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;", "[APE] ##################################", "[APE] *** INFO *** Try action refinement, where source states are not necessarily to be the same.", "[APE] *** INFO *** Action is not shared. No action refinement.", "[APE] *** INFO *** Action refinement has 0 results.", "[APE] *** INFO *** Try state refinement.", "[APE] *** INFO *** Rebuild document for tree #92", "[APE] *** INFO *** Rebuild document for tree #603", "[APE] *** INFO *** State refinement has 2 results.", "[APE] *** INFO *** Refinement takes 204 ms.", "[APE] *** INFO *** Find 2 new naming", "[APE] [0] Updating naming: from Naming[0] to Naming[109], [0] <-> [0].", "[APE] ==================== Old =========================", "[APE] this:Naming[0], parent:null.", "[APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]", "[APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]", "[APE] --------------------------------------------------", "[APE] this:Naming[109], parent:Naming[0].", "[APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]", "[APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]", "[APE] 2. [001][REFINE] //*[@class=\"android.widget.ImageButton\"][@resource-id=\"\"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc]]]", "[APE] ==================== New =========================", "[APE] [1] Updating naming: from Naming[0] to Naming[338], [0] <-> [0].", "[APE] ==================== Old =========================", "[APE] this:Naming[0], parent:null.", "[APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]", "[APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]", "[APE] --------------------------------------------------", "[APE] this:Naming[338], parent:Naming[0].", "[APE] 0. [000][BASE] //*[@clickable='true' or @long-clickable='true' or @checkable='true' or @scrollable='true'] -> ActionPatchNamer[TypeNamer[type,resource-id]]", "[APE] 1. [000][BASE] //*[@clickable='false' and @long-clickable='false' and @checkable='false' and @scrollable='false'] -> ActionPatchNamer[EmptyNamer]", "[APE] 2. [001][REFINE] //*[@class=\"android.widget.ImageButton\"][@resource-id=\"de.rampro.activitydiary:id/quickFixButton1\"][@enabled='true'][@clickable='true'][@checkable='false'][@long-clickable='false'][@scrollable='false'] -> ActionPatchNamer[CompoundNamer[TypeNamer[type,resource-id],TextNamer[text,content-desc]]]", "[APE] ==================== New =========================", "[APE] *** INFO *** Find a new naming that can resolve the non-deterministic transition.", "[APE] *** INFO *** Rebuild document for tree #20", "[APE] *** INFO *** Update naming for GUITree[29@20]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[0], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[29@20]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** updateNaming: Add - Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #21", "[APE] *** INFO *** Update naming for GUITree[30@21]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[30@21]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[30@21]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #23", "[APE] *** INFO *** Update naming for GUITree[32@23]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[32@23]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[32@23]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #35", "[APE] *** INFO *** Update naming for GUITree[51@35]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[51@35]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[51@35]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #36", "[APE] *** INFO *** Update naming for GUITree[52@36]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[52@36]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[52@36]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #65", "[APE] *** INFO *** Update naming for GUITree[93@65]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[93@65]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[93@65]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #75", "[APE] *** INFO *** Update naming for GUITree[106@75]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[106@75]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[106@75]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #88", "[APE] *** INFO *** Update naming for GUITree[122@88]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[122@88]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[122@88]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7]", "[APE] *** INFO *** Update naming for GUITree[126@92]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[126@92]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[126@92]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #103", "[APE] *** INFO *** Update naming for GUITree[152@103]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[152@103]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[152@103]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #166", "[APE] *** INFO *** Update naming for GUITree[230@166]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[230@166]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[230@166]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #228", "[APE] *** INFO *** Update naming for GUITree[292@228]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[292@228]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[292@228]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #320", "[APE] *** INFO *** Update naming for GUITree[406@320]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[406@320]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[406@320]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #323", "[APE] *** INFO *** Update naming for GUITree[409@323]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[409@323]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[409@323]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #327", "[APE] *** INFO *** Update naming for GUITree[413@327]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[413@327]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[413@327]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #378", "[APE] *** INFO *** Update naming for GUITree[464@378]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[464@378]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[464@378]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #520", "[APE] *** INFO *** Update naming for GUITree[615@520]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[615@520]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[615@520]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #523", "[APE] *** INFO *** Update naming for GUITree[618@523]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[618@523]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[618@523]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Rebuild document for tree #587", "[APE] *** INFO *** Update naming for GUITree[697@587]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[697@587]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[697@587]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Update naming for GUITree[713@603]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: existing in dict: Naming[0], current in tree: Naming[0], check in graph: Naming[109], new: Naming[109]", "[APE] *** INFO *** getNaming for tree GUITree[713@603]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[0], Target: Naming[109], State: de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7]", "[APE] *** INFO *** getNaming for tree GUITree[713@603]@g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]: Source: Naming[109], Target: null, State: de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7]", "[APE] *** INFO *** Start rebuilding model... ", "[APE] *** INFO *** > Removing state g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]", "[APE] *** INFO *** > Removing (1) old states and (33) transitions finished in 5 ms.", "[APE] *** INFO *** >> state: g5s11[20,603][33]de.rampro.activitydiary.ui.generic.EditActivity@2123053889@Naming[0]@[W=7][A=8]", "[APE] *** INFO *** >> transition: (g5s11,g5a194,g26s113)", "[APE] *** INFO *** >> transition: (g5s11,g5a196,g14s54)", "[APE] *** INFO *** >> transition: (g18s76,g18a1119,g5s11)", "[APE] *** INFO *** >> transition: (g27s118,g27a1607,g5s11)", "[APE] *** INFO *** >> transition: (g26s113,g26a1562,g5s11)", "[APE] *** INFO *** >> transition: (g10s22,g10a327,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a189,g10s22)", "[APE] *** INFO *** >> transition: (g5s11,g5a191,g5s11)", "[APE] *** INFO *** >> transition: (g14s40,g14a584,g5s11)", "[APE] *** INFO *** >> transition: (g5s10,g5a175,g5s11)", "[APE] *** INFO *** >> transition: (g26s113,g26a1563,g5s11)", "[APE] *** INFO *** >> transition: (g25s108,g25a1516,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a189,g18s76)", "[APE] *** INFO *** >> transition: (g14s55,g14a807,g5s11)", "[APE] *** INFO *** >> transition: (g5s10,g5a183,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a195,g16s62)", "[APE] *** INFO *** >> transition: (g28s121,g28a1638,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a189,g25s108)", "[APE] *** INFO *** >> transition: (g5s11,g5a190,g14s40)", "[APE] *** INFO *** >> transition: (g9s20,g9a300,g5s11)", "[APE] *** INFO *** >> transition: (g18s76,g18a1122,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a190,g9s20)", "[APE] *** INFO *** >> transition: (g5s11,g5a190,g14s54)", "[APE] *** INFO *** >> transition: (g5s11,g5a195,g28s122)", "[APE] *** INFO *** >> transition: (g5s11,g5a189,g14s39)", "[APE] *** INFO *** >> transition: (g14s43,g14a627,g5s11)", "[APE] *** INFO *** >> transition: (g9s20,g9a297,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a193,g5s11)", "[APE] *** INFO *** >> transition: (g14s54,g14a781,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a192,g16s62)", "[APE] *** INFO *** >> transition: (g5s11,g5a190,g18s76)", "[APE] *** INFO *** >> transition: (g18s77,g18a1137,g5s11)", "[APE] *** INFO *** >> transition: (g5s11,g5a190,g18s77)", "[APE] *** INFO *** > rebuilding tree #20", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[29@20]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #21", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[30@21]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #23", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[32@23]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #35", "[APE] *** INFO *** Create state g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8] for GUI tree GUITree[51@35]@g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #36", "[APE] *** INFO *** Create state g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8] for GUI tree GUITree[52@36]@g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #65", "[APE] *** INFO *** Create state g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8] for GUI tree GUITree[93@65]@g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #75", "[APE] *** INFO *** Create state g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8] for GUI tree GUITree[106@75]@g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #88", "[APE] *** INFO *** Create state g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8] for GUI tree GUITree[122@88]@g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #92", "[APE] *** INFO *** Create state g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8] for GUI tree GUITree[126@92]@g29s124[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-453322301@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #103", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[152@103]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #166", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[230@166]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #228", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[292@228]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #320", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[406@320]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #323", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[409@323]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #327", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[413@327]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #378", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[464@378]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #520", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[615@520]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #523", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[618@523]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #587", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[697@587]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > rebuilding tree #603", "[APE] *** INFO *** Create state g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8] for GUI tree GUITree[713@603]@g29s123[-1,0][0]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** > Readding transitions finished in 2 ms.", "[APE] *** INFO *** Rebuilding model finished in 9 ms, removed 1 states and 33 state transitions, and rebuild 38 tree transitions.", "[APE] *** INFO *** Eliminating non-deterministic transitions takes 262 ms.", "[APE] *** INFO *** Model has been refined, reset stateful..", "[APE] Update action buffer...", "[APE] Updating g16e120[92,92][14]@[H(1),M(0),T(0.000000)] g5s11 =[g5a195]=> g16s62", "[APE] Updated g29e445[92,92][2]@[H(1),M(0),T(0.000000)] g29s124 =[g29a1663]=> g16s62", "[APE] Updating g25e433[824,853][9]@[H(2),M(0),T(0.000000)] g16s62 =[g16a915]=> g25s111", "[APE] Updated g25e433[824,853][9]@[H(2),M(0),T(0.000000)] g16s62 =[g16a915]=> g25s111", "[APE] Sata Strategy: buffer size (2)", "[APE] 0 TRIVIAL_ACTIVITY", "[APE] 0 SATURATED_STATE", "[APE] 8 USE_BUFFER", "[APE] 589 EARLY_STAGE", "[APE] 0 EPSILON_GREEDY", "[APE] 0 RANDOM", "[APE] 0 NULL", "[APE] 72 BUFFER_LOSS", "[APE] 144 FILL_BUFFER", "[APE] 0 BAD_STATE", "[APE] 6 PROBE", "[APE] 1 g28a1645[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][542,1435,979,1561][Cancel]", "[APE] 2 g28a1646[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button1;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][106,1435,542,1561][OK]", "[APE] 3 g28a1647[-1,0][0]@MODEL_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][143,1204,942,1369][]", "[APE] 4 g28a1648[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.EditText;enabled=true;clickable=true;long-clickable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][143,1204,942,1369][]", "[APE] 5 g28a1649[-1,0][0]@MODEL_BACKg28s122[604,604][1]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5][P=13][T=200][, UNVISITED]", "[APE] *** INFO *** Check global actions.", "[APE] *** INFO *** Inconsistent actions in action buffer: expected g29a1663[92,92][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/quickFixButton1;enabled=true;clickable=true;[P=0][T=0][, INVALID], get g29a1655[603,603][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/quickFixButton1;enabled=true;clickable=true;[P=0][T=0][, INVALID]", "[APE] *** INFO *** Check A*BA->B, try to move from A to B.", "[APE] *** INFO *** > - A: g28s122[604,604][1]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]", "[APE] *** INFO *** > - B: g29s123[20,603][14]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] *** INFO *** Never move from a cold activity (g28s122[604,604][1]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5])(org.acra.dialog.CrashReportDialog[604,604][1][S=1]) to a hot activity (g29s123[20,603][14]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8])(de.rampro.activitydiary.ui.generic.EditActivity[3,603][234][S=6]) in ABA.", "[APE] *** INFO *** Find a greedy action in 0-step", "[APE] *** INFO *** Requesting disabling restart.", "[APE] *** INFO *** Select action g28a1645[-1,0][0]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][542,1435,979,1561][Cancel] by strategy EARLY_STAGE", "[APE] Last state: g28s121[602,602][2]de.rampro.activitydiary.ui.generic.ManageActivity@-1176203465@Naming[321]@[W=12][A=12]", "[APE] Last action: g28a1638[602,602][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/activity_name;index=3;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,729,279,814][Relaxing]", "[APE] Curr state: g29s123[20,603][14]de.rampro.activitydiary.ui.generic.EditActivity@-1517538115@Naming[109]@[W=7][A=8]", "[APE] Curr action: g29a1655[603,603][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/quickFixButton1;enabled=true;clickable=true;[P=0][T=0][, INVALID]", "[APE] New state: g28s122[604,604][1]org.acra.dialog.CrashReportDialog@-626514471@Naming[0]@[W=4][A=5]", "[APE] New action: g28a1645[604,604][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][542,1435,979,1561][Cancel]", "[APE] >>>>>>>> SATA end step [604]", "[APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=org.acra.dialog.CrashReportDialog|class=android.widget.Button|text=Cancel|resource_id=android:id/button2|bounds=542,1435,979,1561 target_fp=activity=org.acra.dialog.CrashReportDialog|class=android.widget.Button|text=Cancel|resource_id=android:id/button2 action=g28a1645[604,604][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][542,1435,979,1561][Cancel]", ":Sending Touch (ACTION_DOWN): 0:(760.5,1498.0)", ":Sending Touch (ACTION_UP): 0:(760.5,1498.0)", "[APE] *** INFO *** Let's wait for activity loading...", ":Switch: #Intent;action=android.intent.action.MAIN;category=android.intent.category.LAUNCHER;launchFlags=0x10200000;component=de.rampro.activitydiary/.ui.main.MainActivity;end", ":Switch with shell: de.rampro.activitydiary/.ui.main.MainActivity", " // Allowing start of Intent { act=android.intent.action.MAIN cat=[android.intent.category.LAUNCHER] cmp=de.rampro.activitydiary/.ui.main.MainActivity } in package de.rampro.activitydiary", " // Rejecting start of Intent { act=android.content.pm.action.REQUEST_PERMISSIONS_FOR_OTHER pkg=com.google.android.permissioncontroller cmp=com.google.android.permissioncontroller/com.android.permissioncontroller.permission.ui.GrantPermissionsActivity } in package com.google.android.permissioncontroller", "[APE] *** INFO *** Expected activity package [de.rampro.activitydiary] is loaded...", "[APE] *** INFO *** App Activity de.rampro.activitydiary.ui.main.MainActivity 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." }