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.
@inproceedings{TauriainenH00,
title = {Testing SPIN s LTL Formula Conversion into Büchi Automata with Randomly Generated Input},
author = {Heikki Tauriainen and Keijo Heljanko},
year = {2000},
tags = {testing, random testing},
researchr = {https://researchr.org/publication/TauriainenH00},
cites = {0},
citedby = {0},
pages = {54-72},
booktitle = {SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings},
editor = {Klaus Havelund and John Penix and Willem Visser},
volume = {1885},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41030-9},
}