Design and Implementation of Test-Case Generation for Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Browse the full APSEC paper archive.