Rathod, Prachi Basant. "Clustering abstractions to increase the efficiency of requirements-based testing." Master's thesis, University of Cincinnati, 2022. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1659535518422242Chicago Manual of Style (17th edition)