Event Interactions Graph for Test-case Generation of Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Browse the full APSEC paper archive.