Prof. Reiko HeckelABDULLAH MAHFODH MOHAMMED ALSHANQITI2022-05-262022-05-2633023https://drepo.sdl.edu.sa/handle/20.500.14154/33487Inferring Visual Contracts from Java ApplicationsThesis