Xu, Dianxiang, Weifeng Xu, Manghui Tu, Ning Shen, William Chu, and Chih-Hung Chang. 2015. “Automated Integration Testing Using Logical Contracts”. IEEE Transactions on Reliability 65 (3): 1205-22. Last updated on 07/19/2023