Bomotest: A formal conformance testing tool, Version 1.5

Reference:

Tuomo Pyhälä and Keijo Heljanko. Bomotest: A formal conformance testing tool, version 1.5. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2003. Software.

Keywords:

formal conformance testing, coverage, bounded model checking

Suggested BibTeX entry:

@misc{Bomotest1.5,
    author = {Tuomo Pyh{\"a}l{\"a} and Keijo Heljanko},
    howpublished = {Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland},
    note = {Software},
    title = {Bomotest: A formal conformance testing tool, Version 1.5},
    year = {2003},
}