Probe: a formal specification-based testing system. - Ahmed Al-Amayreh; Abdullah Mohd Zin (ICIS, 1999)