Concurrent Software Testing Method Based on CSP and PAT | IEEE Conference Publication | IEEE Xplore