We present an experiment of automated formal conformance testing of the Conference Protocol Entity as reported in . Our approach differs from other experiments, since it investigates the combination of the tools TGV for abstract test generation and TorX for test execution.
|Number of pages||8|
|Publication status||Published - Aug 2000|
Ural, H. (Ed.), Du Bousquet, L., Ramangalahy, S., Probert, R. L. (Ed.), von Bochmann, G. (Ed.), Simon, S., ... de Vries, R. G. (2000). Formal Test Automation: The Conference protocol with TGV/TorX. 221-228.