A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Browse the full APSEC paper archive.