A method for structural testing of Ada concurrent programs using the Event Interactions Graph | IEEE Conference Publication | IEEE Xplore