[APE] >>>>>>>> SATA begin step [943][Elapsed: 0000 00:26:46] [APE] *** INFO *** Explored 11 app activities. [APE] *** INFO *** Used: 34 MB, Max: 192 MB, Available: 158 MB [APE] *** INFO *** Patching this node: android.widget.Spinner@de.rampro.activitydiary:id/timeframeSpinner@ [APE] *** INFO *** Patching child node: android.widget.TextView@android:id/text1@Year [APE] *** INFO *** Create state g11s26[40,942][11]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] for GUI tree GUITree[1101@0]@g11s26[40,942][11]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g11s26[40,942][11]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]: #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: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] [APE] Action: g11a367[942,942][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_later;enabled=true;clickable=true;[P=52][T=0][][S=1.000000][RN=1][738,2226,1080,2310][] [APE] Target: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] [APE] Add target result: true [APE] GSTG(g46): activities (11), states (93), edges (702), unvisited actions (564), visited actions (598) [APE] *** INFO *** - 0.69 6 de.rampro.activitydiary.ui.statistics.StatisticsActivity[38,943][88][S=6] [APE] *** INFO *** - 0.61 8 de.rampro.activitydiary.ui.generic.EditActivity[3,895][291][S=8] [APE] *** INFO *** - 0.48 6 de.rampro.activitydiary.ui.generic.ManageActivity[572,850][44][S=6] [APE] *** INFO *** - 0.33 5 de.rampro.activitydiary.ui.history.HistoryActivity[259,785][63][S=5] [APE] *** INFO *** - 0.34 20 de.rampro.activitydiary.ui.settings.SettingsActivity[609,874][112][S=20] [APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.generic.AboutActivity[245,725][6][S=1] [APE] *** INFO *** - 0.80 1 org.acra.dialog.CrashReportDialog[604,877][4][S=1] [APE] *** INFO *** - 0.86 2 de.rampro.activitydiary.ui.generic.PrivacyPolicyActivity[444,837][9][S=2] [APE] *** INFO *** - 0.77 8 de.rampro.activitydiary.ui.history.HistoryDetailActivity[170,841][206][S=8] [APE] *** INFO *** - 0.53 35 de.rampro.activitydiary.ui.main.MainActivity[1,902][625][S=35] [APE] *** INFO *** - 1.00 1 de.rampro.activitydiary.ui.location.MapActivity[26,824][4][S=1] [APE] GSTG is updated. [APE] GSTG state is NOT changed. [APE] Graph Stable Counter: graph (0), state (1), activity (40) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 39 USE_BUFFER [APE] 896 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 113 BUFFER_LOSS [APE] 245 FILL_BUFFER [APE] 0 BAD_STATE [APE] 7 PROBE [APE] 1 g11a357[-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][#87f83ae2] [APE] 2 g11a358[-1,0][0]@MODEL_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] 3 g11a359[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] 4 g11a360[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] 5 g11a361[42,42][1]@MODEL_SCROLL_TOP_DOWNclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=26][T=0][][S=1.000000][RN=1][0,236,1080,299][] [APE] 6 g11a362[43,47][2]@MODEL_SCROLL_LEFT_RIGHTclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=34][T=0][][S=1.000000][RN=1][0,236,1080,299][] [APE] 7 g11a363[-1,0][0]@MODEL_SCROLL_RIGHT_LEFTclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] 8 g11a364[40,49][3]@MODEL_CLICKclass=android.widget.TextView;resource-id=android:id/text1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,239,954,296][Year] [APE] 9 g11a365[-1,0][0]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_earlier;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2226,341,2310][] [APE] 10 g11a366[905,921][4]@MODEL_CLICKclass=android.widget.TextView;resource-id=de.rampro.activitydiary:id/rangeTextView;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][341,2226,738,2311][2033] [APE] 11 g11a367[942,942][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_later;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][738,2226,1080,2310][] [APE] 12 g11a368[-1,0][0]@MODEL_BACKg11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12][P=13][T=200][, UNVISITED] [APE] *** INFO *** Check global actions. [APE] *** INFO *** - g11a358[-1,0][0]@MODEL_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] *** INFO *** - g11a359[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] *** INFO *** - g11a360[-1,0][0]@MODEL_SCROLL_BOTTOM_UPclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=44][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] *** INFO *** - g11a363[-1,0][0]@MODEL_SCROLL_RIGHT_LEFTclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] [APE] *** INFO *** Check A*BA->B, try to move from A to B. [APE] *** INFO *** > - A: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] [APE] *** INFO *** > - B: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] [APE] *** INFO *** Never move to a saturated dialog state (g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12]) in ABA. [APE] *** INFO *** Find a greedy action in 0-step [APE] *** INFO *** Select action g11a359[-1,0][0]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][, UNVISITED][S=0.000000][RN=1][0,236,1080,299][] by strategy EARLY_STAGE [APE] Last state: g45s176[906,941][18]de.rampro.activitydiary.ui.statistics.StatisticsActivity@601267848@Naming[0]@[W=9][A=12] [APE] Last action: g45a2220[941,941][1]@MODEL_CLICKclass=android.widget.Button;resource-id=android:id/button2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][516,1694,718,1836][CANCEL] [APE] Curr state: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] [APE] Curr action: g11a367[942,942][1]@MODEL_CLICKclass=android.widget.ImageView;resource-id=de.rampro.activitydiary:id/img_later;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][738,2226,1080,2310][] [APE] New state: g11s26[40,943][12]de.rampro.activitydiary.ui.statistics.StatisticsActivity@-739049123@Naming[0]@[W=7][A=12] [APE] New action: g11a359[943,943][1]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][0,236,1080,299][] [APE] >>>>>>>> SATA end step [943] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_LONG_CLICK|activity=de.rampro.activitydiary.ui.statistics.StatisticsActivity|class=android.widget.Spinner|text=|resource_id=de.rampro.activitydiary:id/timeframeSpinner|bounds=0,236,1080,299 target_fp=activity=de.rampro.activitydiary.ui.statistics.StatisticsActivity|class=android.widget.Spinner|text=|resource_id=de.rampro.activitydiary:id/timeframeSpinner action=g11a359[943,943][1]@MODEL_LONG_CLICKclass=android.widget.Spinner;resource-id=de.rampro.activitydiary:id/timeframeSpinner;enabled=true;long-clickable=true;scrollable=true;[P=36][T=200][][S=0.000000][RN=1][0,236,1080,299][] [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate system key events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate trackball. [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: generate drag. [APE] *** INFO *** Fuzzing: generate pinch or zoom. [APE] *** INFO *** Fuzzing: generate major navigation events. [APE] *** INFO *** Fuzzing: action #24 events=29 total_events=442 [APE] *** INFO *** Fuzzing: reset rotation. :Sending Touch (ACTION_DOWN): 0:(540.0,267.5) :Sending Touch (ACTION_UP): 0:(540.0,267.5) :Sending Trackball (ACTION_MOVE): 0:(4.0,1.0) :Sending Touch (ACTION_DOWN): 0:(542.0,781.0) //[calendar_time:2026-11-07 03:07:17.737 system_uptime:1881085489] // Sending event #6800 :Sending Touch (ACTION_UP): 0:(511.2666,816.9756) :Sending Trackball (ACTION_MOVE): 0:(-5.0,-3.0) :Sending Touch (ACTION_DOWN): 0:(532.0,2042.0) :Sending Touch (ACTION_UP): 0:(531.8154,2034.7715) :Sending Trackball (ACTION_MOVE): 0:(-3.0,2.0) :Sending Trackball (ACTION_MOVE): 0:(-5.0,-1.0) :Sending rotation degree=0, persist=false