Formal Methods and Tools Formal methods & Tools University of Twente

Bibliography

BB96
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.

BKKW90
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.

BLV95
T. Bolognesi, J. van de Lagemaat, and C. Vissers, editors.
LOTOSphere: Software Development with LOTOS. Kluwer Academic Publishers, 1995.

CCI92
CCITT.
Specification and Description Language (SDL).
Recommendation Z.100. ITU-T General Secretariat, Geneve, Switzerland, 1992.

Com91
D.E. Comer.
Internetworking with TCP/IP; Volume I; Principles, Protocols and Architecture.
Prentice-Hall Int., 2nd edition, 1991.

Cou97
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.

dRc98
Côte de Resyste consortium. Côte de resyste webpages, 1998.
URL: http://fmt.cs.utwente.nl/CdR.

EBEA97
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.

FGK+96
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.

FJJV96
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.

Gar98
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.

Hol92
G. J. Holzmann.
Protocol design: Redefining the state of the art.
IEEE Software, pages 17-22, January 1992.

ISO89
ISO.
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.

ISO91
ISO.
Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework.
International Standard IS-9646. ISO, Geneve, 1991.
Also: CCITT X.290-X.294.

ISO96
ISO/IEC JTC1/SC21 WG7, ITU-T SG 10/Q.8.
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.

Lib95
Don Libes.
Exploring Expect.
O'Reilly & Associates, 1995.

Ous94
John Ousterhout.
Tcl and the Tk Toolkit.
Addison-Wesley, 1994.

SKGH97
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.

TFPHT96
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.

VT98
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.

This page was last updated by Jan Feenstra on 1999-04-01