An Anytime Approach to Analyzing Software Systems

Dan Rubenstein, Leon Osterweil, and Shlomo Zilberstein. An Anytime Approach to Analyzing Software Systems. Proceedings of the 10th International Florida Artificial Intelligence Research Symposium (FLAIRS), 386-391, Daytona Beach, Florida, 1997.

Abstract

Proving that a software system satisfies its requirements is a costly process. This paper discusses the benefits and challenges of structuring the analysis of software as an anytime algorithm. We demonstrate that certain incremental approaches to event sequence analysis that produce partial results are anytime algorithms, and we show how these partial results can be used to optimize the time to complete the full analysis.

Bibtex entry:

@inproceedings{ROZflairs97,
  author	= {Dan Rubenstein and Leon Osterweil and Shlomo Zilberstein},
  title		= {An Anytime Approach to Analyzing Software Systems},
  booktitle     = {Proceedings of the 10th International Florida Artificial
                   Intelligence Research Symposium},
  year		= {1997},
  pages		= {386-391},
  address       = {Daytona Beach, Florida},
  url		= {http://rbr.cs.umass.edu/shlomo/papers/ROZflairs97.html}
}

shlomo@cs.umass.edu