Testing reactive systems with GAST

TFP 2003: Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003

[1]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[2]  Annika Riekkola.  A study of Thomas Tidholm's translation of The Hitch Hiker's Guide to the Galaxy , 2005 .

[3]  Thierry Jéron,et al.  Using On-The-Fly Verification Techniques for the Generation of test Suites , 1996, CAV.

[4]  Lex Heerink,et al.  Formal Test Automation: The Conference Protocol with PHACT , 2000, TestCom.

[5]  Koen Claessen,et al.  QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.

[6]  Thierry Jéron,et al.  Automated test generation from SDL specifications , 1999, SDL Forum.

[7]  Rick Reed,et al.  SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings , 2001 .

[8]  Ralf Hinze.  Polytypic Values Possess Polykinded Types , 2000, MPC.

[9]  Marinus J. Plasmeijer,et al.  A Generic Programming Extension for Clean , 2001, IFL.

[10]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[11]  Koen Claessen,et al.  Testing monadic code with QuickCheck , 2002, Haskell '02.

[12]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[13]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[14]  J. Michael Spivey,et al.  Z Notation - a reference manual (2. ed.) , 1992, Prentice Hall International Series in Computer Science.

[15]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[16]  Jan Tretmans,et al.  Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.

[17]  Hasan Ural,et al.  Formal methods for test sequence generation , 1992, Comput. Commun..

[18]  Dieter Hogrefe,et al.  Autolink - Putting SDL-Based Test Generation Into Practice , 1998, IWTCS.

[19]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

[20]  Nicolae Goga,et al.  Comparing TorX, Autolink, TGV and UIO Test Algorithms , 2001, SDL Forum.

[21]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[22]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[23]  Alfred V. Aho,et al.  An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..

[24]  Rinus Plasmeijer,et al.  Concurrent Clean Language Report - version 1.3 , 1998 .