An automated approach to monitoring and diagnosing requirements

  title={An automated approach to monitoring and diagnosing requirements},
  author={Yiqiao Wang and Sheila A. McIlraith and Yijun Yu and John Mylopoulos},
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Requirement Engineering literature. To address this problem, we propose a framework adapted from artificial intelligence theories of action and diagnosis. Specifically, the framework monitors the satisfaction of software requirements and generates log data at a level of granularity that can be tuned adaptively at runtime… CONTINUE READING
Highly Cited
This paper has 210 citations. REVIEW CITATIONS
43 Citations
1 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 43 extracted citations

211 Citations

Citations per Year
Semantic Scholar estimates that this publication has 211 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression

  • R. Reiter
  • Artificial Intelligence and Mathematical Theory…
  • 1991
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…