[ Home | What's New | Contents | Overview | Contributors | Distribution | Examples | Documentation | Manual | Publications | Mailing List Archive | Problems ] This page was last updated by Axel Belinfante on 2003-02-20
TorX Test Tool Information
Prev   Next

Conference Protocol References

F. Brady and R.M. Barker.
Infrastructural tools for information technology and telecommunications conformance testing, INTOOL/GCI, generic compiler/interpreter interface (GCI) interface specification, version 2.2,1996.
INTOOL document number GCI/NPL038v2.
S. van de Burgt, J. Kroon, E. Kwast, and H. Wilts.
The RNL conformance kit.
In Second Int. Workshop on Protocol Test Systems, pages 279-294. North-Holland, 1990.
T. Bolognesi, J. van de Lagemaat, and C. Vissers, editors.
LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, 1995.
Specification and Description Language (SDL).
Recommendation Z.100. ITU-T General Secretariat, Geneve, Switzerland, 1992.
D.E. Comer.
Internetworking with TCP/IP; Volume I; Principles, Protocols and Architecture.
Prentice-Hall Int., 2nd edition, 1991.
P. Cousin.
The European initiative for the development of infrastructural tools: The INTOOL programme.
In M. Kim, S. Kang, and K. Hong, editors, Tenth Int. Workshop on Testing of Communicating Systems, pages 311-317. Chapman & Hall, 1997.
Côte de Resyste consortium. Côte de resyste webpages, 1998.
URL: http://fmt.cs.utwente.nl/CdR.
P. van Eijk, A. Belinfante, H. Eertink, and H. Alblas.
The Term Processor KIMWITU.
In E. Brinksma, editor, Third Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), pages 96-111. Lecture Notes in Computer Science 1217, Springer-Verlag, 1997.
J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu.
CADP (cæsar/aldebaran development package): A protocol validation and verification toolbox.
In R. Alur and T.A. Henzinger, editors, Computer Aided Verification CAV'96. Lecture Notes in Computer Science 1102, Springer-Verlag, 1996.
J.-C. Fernandez, C. Jard, T. Jéron, and C. Viho.
Using on-the-fly verification techniques for the generation of test suites.
In R. Alur and T.A. Henzinger, editors, Computer Aided Verification CAV'96. Lecture Notes in Computer Science 1102, Springer-Verlag, 1996.
H. Garavel.
OPEN/CÆSAR: An open software architecture for verification, simulation, and testing.
In B. Steffen, editor, Fourth Int. Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98) , pages 68-84. Lecture Notes in Computer Science 1384, Springer-Verlag, 1998.
G. J. Holzmann.
Protocol design: Redefining the state of the art.
IEEE Software, pages 17-22, January 1992.
Information Processing Systems, Open Systems Interconnection, LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour.
International Standard IS-8807. ISO, Geneve, 1989.
Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework.
International Standard IS-9646. ISO, Geneve, 1991.
Also: CCITT X.290-X.294.
Information Retrieval, Transfer and Management for OSI; Framework: Formal Methods in Conformance Testing.
Committee Draft CD 13245-1, ITU-T proposed recommendation Z.500. ISO - ITU-T, Geneve, 1996.
Don Libes.
Exploring Expect.
O'Reilly & Associates, 1995.
John Ousterhout.
Tcl and the Tk Toolkit.
Addison-Wesley, 1994.
M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe.
- AUTOLINK - A Tool for the Automatic and Semi-Automatic Test Generation.
In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, number Nr. 315 in GMD-Studien, St. Augustin, 1997. GI/ITG-Fachgespräch, GMD.
R. Terpstra, L. Ferreira Pires, L. Heerink, and J. Tretmans.
Testing theory in practice: A simple experiment.
In T. Kapus and Z. Brezocnik, editors, COST 247 Int. Workshop on Applied Formal Methods in System Design, pages 168-183, Maribor, Slovenia, 1996. University of Maribor.
Also: Technical Report No. 96-21, Centre for Telematics and Information Technology, University of Twente, The Netherlands.
R.G. de Vries and J. Tretmans.
On-the-Fly Conformance Testing using SPIN.
In G. Holzmann, E. Najm, and A. Serhrouchni, editors, Fourth Workshop on Automata Theoretic Verification with the SPIN Model Checker, ENST 98 S 002, pages 115-128, Paris, France, November 2 1998. Ecole Nationale Supérieure des Télécommunications.

Prev Table of Contents Next
Chapter 12: Conference Protocol Implementations Valid HTML 4.01! Appendix B: Conference Protocol Website News