Heikki Tauriainen, Keijo Heljanko. Testing SPIN s LTL Formula Conversion into Büchi Automata with Randomly Generated Input. In Klaus Havelund, John Penix, Willem Visser, editors, SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings. Volume 1885 of Lecture Notes in Computer Science, pages 54-72, Springer, 2000.
Abstract is missing.