Xref: utzoo comp.software-eng:4270 comp.specification:152
Path: utzoo!attcan!uunet!decwrl!apple!snorkelwacker!bloom-beacon!eru!hagbard!sunic!news.funet.fi!funic!santra!hila.hut.fi!jar
From: jar@hila.hut.fi (Jari Arkko)
Newsgroups: comp.software-eng,comp.specification
Subject: References to generating tests from formal specifications
Keywords: test data generation, formal specifications
Message-ID: <1990Oct9.125255.368@santra.uucp>
Date: 9 Oct 90 12:52:55 GMT
Sender: news@santra.uucp (Cnews - USENET news system)
Reply-To: jar@hila.hut.fi (Jari Arkko)
Organization: Helsinki University of Technology, Finland
Lines: 10

I'd like to find references to work on generating tests from formal
specifications (like Z, Algebraic specifications, LOTOS, etc.).
So, if you have information on such work, please drop me a message
at jar@hutcs.hut.fi.

+----------------------------------------------------------------------------+
|                         char*He="llo world.\n";                            |
|                        cc -c -o /dev/tty hello.c                           |
+----------------------------------------------------------------------------+
Jari Arkko (jar@hutcs.hut.fi) tel. +358 0 8055783     Helsinki U of Technology