|
|||||
|
|
On-the-fly conformance testing using SPIN |
|
| Authors: | René G. de Vries Jan Tretmans |
| Affiliation: | (1) University of Twente, Department of Computer Science, Formal Methods and Tools Group, P.O. Box 217, 7500 AE Enschede, The Netherlands; E-mail: {rdevries,tretmans}@cs.utwente.nl, NL |
| Abstract: | |
| Keywords: | : Conformance testing – Formal methods – Test generation algorithms – Test automation – Spin verification tool |
| 本文献已被 SpringerLink 等数据库收录！ | |