N. Feta and F. Fitria, “IMPLEMENTATION OF CONCOLIC UNIT TESTING IN TESTING BINARY SEARCH ALGORITHM USING JCUTE”, jitk, vol. 7, no. 2, pp. 37-44, Feb. 2022.