Generating Test Cases for Infinite System Specifications

Stefan Heymer, Jens Grabowski. Generating Test Cases for Infinite System Specifications. In Adam Wolisz, Ina Schieferdecker, Axel Rennoch, editors, Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997. Volume 315 of GMD-Studien, pages 221-230, GMD-Forschungszentrum Informationstechnik GmbH, 1997.

Abstract

Abstract is missing.