Ordered sequence testing criteria for concurrent programs and the support tool.

Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima

Browse the full APSEC paper archive.