Key points are not available for this paper at this time.
Article Specification-based test oracles for reactive systems Share on Authors: Debra J. Richardson View Profile , Stephanie Leif Aha View Profile , T. Owen O'Malley View Profile Authors Info & Claims ICSE '92: Proceedings of the 14th international conference on Software engineeringJune 1992 Pages 105–118https://doi.org/10.1145/143062.143100Online:01 June 1992Publication History 114citation1,378DownloadsMetricsTotal Citations114Total Downloads1,378Last 12 Months18Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Richardson et al. (Wed,) studied this question.