John Thangarajah, James Harland and Timothy Miller (Melbourne UniversityYOOSEF BASSAM M ABUSHARK2022-05-192022-05-1933751https://drepo.sdl.edu.sa/handle/20.500.14154/11522A SYSTEMATIC APPROACH FOR DETECTING FAULTS IN AGENT DESIGNSThesis