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