Yizhen Cao, Yongbin Wang. Concurrent Software Testing Method Based on CSP and PAT. In 17th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2018, Singapore, Singapore, June 6-8, 2018. pages 641-644, IEEE Computer Society, 2018. [doi]
Abstract is missing.