• Citations Per Year
Learn More
M. Hlady, R. Kovacevic, J.J. Li, B.R. Pekilis, D. Prairie, T. Savor, R.E. Seviora, D. Simser and A. Vorobiev Bell Canada Software Reliability Laboratory University of Waterloo Waterloo, Ontario, CANADA N2L 3G1 Abstract The focus of this paper is on an approach to the automatic failure detection of reactive software systems called speci cation-based(More)
  • 1