Probe : a formal specification-based testing system - al-Amayreh, Ahmed Abedl Rahman (Bangi : Fakulti Teknologi dan Sains Maklumat, Universiti Kebangsaan Malaysia, 1997)
Thesis ( M.Sc.) - Universiti Kebangsaan Malaysia, 1997
Keywords: Computer software -- Testing; PROBE Project; Prolog (Computer program language).