[APE] >>>>>>>> SATA begin step [1073][Elapsed: 0000 00:25:49] [APE] *** INFO *** Explored 7 app activities. [APE] *** INFO *** Used: 25 MB, Max: 192 MB, Available: 167 MB [APE] *** INFO *** Patching this node: android.widget.RelativeLayout@de.rampro.activitydiary:id/activity_background@ [APE] *** INFO *** Patching child node: android.widget.TextView@de.rampro.activitydiary:id/activity_name@ [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@@STATISTI [APE] *** INFO *** Patching this node: android.widget.LinearLayout@@ [APE] *** INFO *** Patching child node: android.widget.TextView@@NOTE [APE] *** INFO *** Patching this node: android.widget.FrameLayout@de.rampro.activitydiary:id/select_card_view@ [APE] *** INFO *** Patching child node: android.widget.TextView@de.rampro.activitydiary:id/activity_name@21402919 [APE] *** INFO *** Patching this node: android.widget.FrameLayout@de.rampro.activitydiary:id/select_card_view@ [APE] *** INFO *** Patching child node: android.widget.TextView@de.rampro.activitydiary:id/activity_name@ [APE] *** INFO *** Create state g19s84[359,1072][21]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] for GUI tree GUITree[1148@0]@g19s84[359,1072][21]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g19s84[359,1072][21]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18]: #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: g19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] [APE] Action: g19a1334[1072,1072][1]@MODEL_SCROLL_TOP_DOWNclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=36][T=0][][S=1.000000][RN=1][0,424,1080,735][] [APE] Target: g19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] [APE] Add target result: true [APE] GSTG(g29): activities (7), states (86), edges (784), unvisited actions (821), visited actions (638) [APE] *** INFO *** - 0.54 13 de.rampro.activitydiary.ui.generic.EditActivity[3,1071][318][S=13] [APE] *** INFO *** - 0.49 6 de.rampro.activitydiary.ui.generic.ManageActivity[437,1010][62][S=6] [APE] *** INFO *** - 0.26 5 de.rampro.activitydiary.ui.history.HistoryActivity[104,147][41][S=5] [APE] *** INFO *** - 0.86 2 de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity[216,1027][11][S=2] [APE] *** INFO *** - 0.77 9 de.rampro.activitydiary.ui.history.HistoryDetailActivity[23,901][458][S=9] [APE] *** INFO *** - 0.41 50 de.rampro.activitydiary.ui.main.MainActivity[1,1073][823][S=50] [APE] *** INFO *** - 0.50 1 de.rampro.activitydiary.ui.location.MapActivity[295,295][1][S=1] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (1) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 33 USE_BUFFER [APE] 1034 EARLY_STAGE [APE] 5 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 169 BUFFER_LOSS [APE] 310 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g19a1328[556,556][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][0,63,147,210][#8690306c] [APE] 2 g19a1329[793,793][1]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_add_activity;enabled=true;clickable=true;[P=22][T=500][][S=1.000000][RN=1][935,73,1080,199][] [APE] 3 g19a1330[412,904][3]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/search_button;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=1][808,73,935,199][] [APE] 4 g19a1331[577,577][1]@MODEL_CLICKclass=android.widget.RelativeLayout;resource-id=de.rampro.activitydiary:id/activity_background;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][12,225,1038,351][] [APE] 5 g19a1332[907,907][1]@MODEL_LONG_CLICKclass=android.widget.RelativeLayout;resource-id=de.rampro.activitydiary:id/activity_background;enabled=true;clickable=true;long-clickable=true;[P=6][T=500][][S=1.000000][RN=1][12,225,1038,351][] [APE] 6 g19a1333[1069,1069][1]@MODEL_SCROLL_BOTTOM_UPclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,424,1080,735][] [APE] 7 g19a1334[1072,1072][1]@MODEL_SCROLL_TOP_DOWNclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,424,1080,735][] [APE] 8 g19a1335[578,578][1]@MODEL_SCROLL_LEFT_RIGHTclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,424,1080,735][] [APE] 9 g19a1336[591,591][1]@MODEL_SCROLL_RIGHT_LEFTclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,424,1080,735][] [APE] 10 g19a1337[906,906][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/fab_attach_picture;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][697,662,844,809][#e2959457] [APE] 11 g19a1338[579,579][1]@MODEL_CLICKclass=android.widget.ImageButton;resource-id=de.rampro.activitydiary:id/fab_edit_note;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][891,662,1038,809][#6bedd736] [APE] 12 g19a1339[359,580][2]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/activity_name;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=3][12,792,799,877][21402919] [APE] 13 g19a1340[909,909][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;enabled=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,735,811,935][] [APE] 14 g19a1341[1070,1070][1]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;enabled=true;long-clickable=true;[P=6][T=500][][S=1.000000][RN=1][0,735,811,935][] [APE] 15 g19a1342[487,487][2]@MODEL_CLICKclass=android.widget.TextView;enabled=true;clickable=true;[P=22][T=0][][S=1.000000][RN=2][77,369,278,420][STATISTI] [APE] 16 g19a1343[912,912][1]@MODEL_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;enabled=true;clickable=true;long-clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,935,234,1135][] [APE] 17 g19a1344[592,592][1]@MODEL_LONG_CLICKclass=android.widget.FrameLayout;resource-id=de.rampro.activitydiary:id/select_card_view;enabled=true;clickable=true;long-clickable=true;[P=6][T=500][][S=1.000000][RN=1][0,935,234,1135][] [APE] 18 g19a1345[-1,0][0]@MODEL_BACKg19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18][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: g19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] [APE] *** INFO *** > - B: g19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] [APE] *** INFO *** Never move to a saturated dialog state (g19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18]) in ABA. [APE] *** INFO *** Find a path (1/6) to a greedy state g27s138[948,1053][19]de.rampro.activitydiary.ui.main.MainActivity@-1348651066@Naming[0]@[W=17][A=22]. [APE] *** INFO *** Fill buffer.. [APE] *** INFO *** 0 g23e437[796,796][7]@[H(1),M(0),T(0.000000)] g19s84 =[g19a1328]=> g17s60 [APE] *** INFO *** 1 g27e694[1594,1594][3]@[H(1),M(0),T(0.000000)] g17s60 =[g17a1037]=> g27s138 [APE] *** INFO *** Select action g19a1328[556,556][1]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=22][T=200][][S=1.000000][RN=1][0,63,147,210][#8690306c] by strategy EARLY_STAGE [APE] Last state: g17s52[3,1071][151]de.rampro.activitydiary.ui.generic.EditActivity@-1936732739@Naming[65]@[W=6][A=7] [APE] Last action: g17a915[19,1071][86]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/action_edit_done;enabled=true;clickable=true;[P=82][T=500][][S=1.000000][RN=1][932,73,1080,199][] [APE] Curr state: g19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] [APE] Curr action: g19a1334[1072,1072][1]@MODEL_SCROLL_TOP_DOWNclass=androidx.viewpager.widget.ViewPager;resource-id=de.rampro.activitydiary:id/viewpager;enabled=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,424,1080,735][] [APE] New state: g19s84[359,1073][22]de.rampro.activitydiary.ui.main.MainActivity@645710359@Naming[0]@[W=12][A=18] [APE] New action: g19a1328[556,1073][2]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=22][T=200][][S=1.000000][RN=1][0,63,147,210][#8690306c] [APE] >>>>>>>> SATA end step [1073] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.ImageButton|text=#8690306c|resource_id=|bounds=0,63,147,210 target_fp=activity=de.rampro.activitydiary.ui.main.MainActivity|class=android.widget.ImageButton|text=#8690306c|resource_id= action=g19a1328[556,1073][2]@MODEL_CLICKclass=android.widget.ImageButton;enabled=true;clickable=true;[P=22][T=200][][S=1.000000][RN=1][0,63,147,210][#8690306c] [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate random click. [APE] *** INFO *** Fuzzing: generate trackball. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: action #23 events=19 total_events=366 [APE] *** INFO *** Fuzzing: reset rotation. :Sending Touch (ACTION_DOWN): 0:(73.5,136.5) :Sending Touch (ACTION_UP): 0:(73.5,136.5) :Sending Trackball (ACTION_MOVE): 0:(-2.0,1.0) // Allowing start of Intent { cmp=de.rampro.activitydiary/.ui.settings.SettingsActivity } in package de.rampro.activitydiary :Sending Trackball (ACTION_MOVE): 0:(-5.0,-5.0) //[calendar_time:2026-11-07 02:04:44.890 system_uptime:1877332641] // Sending event #6400 :Sending Touch (ACTION_DOWN): 0:(460.0,1022.0) :Sending Touch (ACTION_UP): 0:(520.0957,1019.94824) :Sending Touch (ACTION_DOWN): 0:(455.0,2103.0) :Sending Touch (ACTION_UP): 0:(455.0,2103.0) :Sending Trackball (ACTION_MOVE): 0:(-4.0,4.0) :Sending Touch (ACTION_DOWN): 0:(795.0,1625.0) :Sending Touch (ACTION_UP): 0:(775.86914,1573.9346) :Sending rotation degree=0, persist=false