Automated Generation of Integration Test Sequences from Logical Contracts.

Dianxiang Xu, Weifeng Xu, Manghui Tu

Browse the full COMPSAC paper archive.