Automated integration testing using logical contracts
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.