shunxu/PYTHIA
The software tool PYTHIA was developed at Bell Laboratories for automatically generating test sequences for protocol data portions. In PYTHIA, Finite State Machine (FSM) and Extended Finite State Machine (EFSM) are defined to model protocol control and data portions, respectively. And the problem of conformance testing can be reduced to an optimization of graph path covering.