Probe: a formal specification-based testing system

• Authors:

• Ahmed Al-Amayreh;Abdullah Mohd Zin

• Affiliations:

• Department of Mathematics and Computers, Salalah College of Education, Sultanate of Oman;Department of Computer Science, National University of Malaysia, Malaysia

• Venue:
• ICIS '99 Proceedings of the 20th international conference on Information Systems
• Year:
• 1999