Xu, Dianxiang, Weifeng Xu, and Manghui Tu. 2014. “Automated Generation of Integration Test Sequences from Logical Contracts”. 2014 IEEE 38th International Computer Software and Applications Conference Workshops, 632-37. Last updated on 07/19/2023