Reliability testing of rule-based systemsAlberto AvritzerJohannes P. Roset al.1996IEEE SoftwareReview