Probe: a formal specification-based testing system.

Ahmed Al-Amayreh, Abdullah Mohd Zin

Browse the full ICIS paper archive.