[comp.software-eng] References to generating tests from formal specifications

jar@hila.hut.fi (Jari Arkko) (10/09/90)

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