Xu, Dianxiang, Weifeng Xu, Michael Kent, Lijo Thomas, and Linzhang Wang. 2014. “An Automated Test Generation Technique for Software Quality Assurance”. IEEE Transactions on Reliability 64 (1): 247-68. Last updated on 07/19/2023
