An Incremental Approach to Structural Testing of Concurrent Software

Pramod V. Koppol, Kuo-Chung Tai. An Incremental Approach to Structural Testing of Concurrent Software. In ISSTA. pages 14-23, 1996. [doi]

Abstract

Abstract is missing.