Testing reactive systems with GAST

Pieter W. M. Koopman, Marinus J. Plasmeijer. Testing reactive systems with GAST. In Stephen Gilmore, editor, Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003. Volume 4 of Trends in Functional Programming, pages 111-129, Intellect, 2003.

Abstract

Abstract is missing.