Automatic Elicitation of Network Service Specification
M. Ohba, K. Egashira, Tadashi Ohta · 2008
A lot of research has been done into automatically eliciting service specifications of a system, whose specification is unknown, by analyzing output signals corresponding to input signals. This paper proposes algorithms for automatically eliciting state transition diagrams based on an enhanced state transition model from a set of rules that represent condition of each state transition.