“Determining legal method call sequences in object interfaces” by Samir V. Meghani and Michael D. Ernst. May 2003.
The permitted sequences of method calls in an object-oriented component interface summarize how to correctly use the component. Many components lack such documentation: even if the documentation specifies the behavior of each of the component's methods, it may not state the order in which the methods should be invoked. This paper presents a dynamic technique for automatically extracting the legal method call sequences in a component interface, expressed as a finite state machine. Compared to previous techniques, it increases accuracy and reduces dependence on the test suite. It also identifies certain programming errors.
BibTeX entry:
@misc{MeghaniE2003,
author = {Samir V. Meghani and Michael D. Ernst},
title = {Determining legal method call sequences in object interfaces},
month = may,
year = {2003},
howpublished =
{\url{https://homes.cs.washington.edu/~mernst/pubs/call-sequences.pdf}}
}
(This webpage was created with bibtex2web.)
Back to Michael Ernst's publications.