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