Automatic Elicitation of Network Service Specification

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.