A Testing Mechanism for Concurrent Programs Based on MSC.

Eui Hyun Paik, DongGill Lee, Byung-Sun Lee

Browse the full PDPTA paper archive.