Automated Generation of Test Cases from Contract-Oriented Specifications: A CSP-Based Approach | IEEE Conference Publication | IEEE Xplore