A Test-case Generation Method for Concurrent Programs Including Task-types.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Browse the full APSEC paper archive.