Parallel Specification-Based Testing for Concurrent Programs

Canh Minh Do, Kazuhiro Ogata 0001. Parallel Specification-Based Testing for Concurrent Programs. IEEE Access, 10:24955-24975, 2022. [doi]

Abstract

Abstract is missing.