[APE] >>>>>>>> SATA begin step [309][Elapsed: 0000 00:07:27] [APE] *** INFO *** Explored 4 app activities. [APE] *** INFO *** Used: 11 MB, Max: 192 MB, Available: 181 MB [APE] *** INFO *** Create state g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] for GUI tree GUITree[389@0]@g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] [APE] *** INFO *** State g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] is excluded from refresh check. [APE] *** INFO *** Check under-abstracted states g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5]: #0 [APE] *** INFO *** Check under-abstracted states collected 37 targets for naming Naming[3]. The state is g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5]. #0 [APE] *** INFO *** batchAbstract: refined targets: 5, affected states: 5, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 5 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 5 <= threshold: 8 [APE] *** INFO *** Pre-checking under-abstracted states takes 0 ms [APE] *** INFO *** Check over-abstracted states g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5]: #0 [APE] *** INFO *** Checking over-abstracted states takes 0 ms [APE] *** INFO *** Check under-abstracted states g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5]: #0 [APE] *** INFO *** Check under-abstracted states collected 37 targets for naming Naming[3]. The state is g37s110[297,306][4]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5]. #0 [APE] *** INFO *** batchAbstract: refined targets: 5, affected states: 5, threshold: 8, affected threshold. [APE] *** INFO *** batchAbstract: refined targets: 5 <= threshold: 8 [APE] *** INFO *** batchAbstract: affected states: 5 <= threshold: 8 [APE] *** INFO *** Post-checking under-abstracted states takes 0 ms [APE] === Adding edge... [APE] Source: g36s102[216,308][7]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] Action: g36a1446[308,308][1]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1330,1080,1500][] [APE] Target: g37s110[297,309][5]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] [APE] Add target result: true [APE] GSTG(g37): activities (4), states (51), edges (224), unvisited actions (466), visited actions (206) [APE] *** INFO *** - 0.40 16 com.maubis.scarlet.base.MainActivity[1,309][76][S=16] [APE] *** INFO *** - 0.51 14 com.maubis.scarlet.base.note.creation.activity.CreateNoteActivity[2,278][355][S=14] [APE] *** INFO *** - 0.14 17 com.maubis.scarlet.base.note.creation.activity.CreateListNoteActivity[163,230][55][S=17] [APE] *** INFO *** - 0.26 4 com.maubis.scarlet.base.note.creation.activity.ViewAdvancedNoteActivity[139,286][12][S=4] [APE] GSTG is updated. [APE] GSTG state is changed. [APE] Graph Stable Counter: graph (0), state (0), activity (15) [APE] Sata Strategy: buffer size (0) [APE] 0 TRIVIAL_ACTIVITY [APE] 0 SATURATED_STATE [APE] 9 USE_BUFFER [APE] 299 EARLY_STAGE [APE] 0 EPSILON_GREEDY [APE] 0 RANDOM [APE] 0 NULL [APE] 19 BUFFER_LOSS [APE] 50 FILL_BUFFER [APE] 0 BAD_STATE [APE] 0 PROBE [APE] 1 g37a1525[303,303][1]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,1713,1080,1883][] [APE] 2 g37a1526[300,300][1]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,1883,1080,2053][] [APE] 3 g37a1527[-1,0][0]@MODEL_CLICKclass=android.view.ViewGroup;index=3;enabled=true;clickable=true;[P=52][T=200][, UNVISITED][S=0.000000][RN=1][0,2053,1080,2274][] [APE] 4 g37a1528[297,306][2]@MODEL_CLICKclass=android.view.ViewGroup;index=0;enabled=true;clickable=true;[P=42][T=0][][S=1.000000][RN=1][0,1543,1080,1713][] [APE] 5 g37a1529[-1,0][0]@MODEL_BACKg37s110[297,309][5]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][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: g37s110[297,309][5]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] [APE] *** INFO *** > - B: g36s102[216,308][7]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] *** INFO *** Never move from a cold state (g37s110[297,309][5]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5]) to a hot state (g36s102[216,308][7]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]) in ABA. [APE] *** INFO *** Find a path (1/1) to a greedy state g36s102[216,308][7]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9]. [APE] *** INFO *** Fill buffer.. [APE] *** INFO *** 0 g37e221[490,490][1]@[H(1),M(0),T(0.000000)] g37s110 =[g37a1526]=> g37s111 [APE] *** INFO *** 1 g37e220[488,497][4]@[H(4),M(0),T(0.000000)] g37s111 =[g37a1530]=> g36s102 [APE] *** INFO *** Select action g37a1526[300,300][1]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][0,1883,1080,2053][] by strategy EARLY_STAGE [APE] Last state: g37s111[298,307][4]com.maubis.scarlet.base.MainActivity@-1163814000@Naming[3]@[W=3][A=3] [APE] Last action: g37a1530[298,307][4]@MODEL_CLICKclass=android.view.ViewGroup;index=1;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][746,2126,1027,2253][] [APE] Curr state: g36s102[216,308][7]com.maubis.scarlet.base.MainActivity@-1102581174@Naming[3]@[W=9][A=9] [APE] Curr action: g36a1446[308,308][1]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=52][T=200][][S=0.000000][RN=1][0,1330,1080,1500][] [APE] New state: g37s110[297,309][5]com.maubis.scarlet.base.MainActivity@-453540201@Naming[3]@[W=5][A=5] [APE] New action: g37a1526[300,309][2]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][0,1883,1080,2053][] [APE] >>>>>>>> SATA end step [309] [APE] *** INFO *** EXECUTE action_fp=type=MODEL_CLICK|activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id=|bounds=0,1883,1080,2053 target_fp=activity=com.maubis.scarlet.base.MainActivity|class=android.view.ViewGroup|text=|resource_id= action=g37a1526[300,309][2]@MODEL_CLICKclass=android.view.ViewGroup;index=2;enabled=true;clickable=true;[P=42][T=200][][S=1.000000][RN=1][0,1883,1080,2053][] :Sending Touch (ACTION_DOWN): 0:(540.0,1968.0) :Sending Touch (ACTION_UP): 0:(540.0,1968.0) // Allowing start of Intent { cmp=com.bijoysingh.quicknote/com.maubis.scarlet.base.export.activity.ImportNoteActivity } in package com.bijoysingh.quicknote