Checking consistency of agent designs against interaction protocols for early-phase defect location

Yoosef Abushark, John Thangarajah, Tim Miller, James Harland. Checking consistency of agent designs against interaction protocols for early-phase defect location. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 933-940, IFAAMAS/ACM, 2014. [doi]

Authors

Yoosef Abushark

This author has not been identified. Look up 'Yoosef Abushark' in Google

John Thangarajah

This author has not been identified. Look up 'John Thangarajah' in Google

Tim Miller

This author has not been identified. Look up 'Tim Miller' in Google

James Harland

This author has not been identified. It may be one of the following persons: Look up 'James Harland' in Google