Improved on-the-fly Verification With Testers

Reference:

Timo Latvala and Heikki Tauriainen. Improved on-the-fly verification with testers. Nordic Journal of Computing, 11(2):148–164, 2004.

Suggested BibTeX entry:

@article{LT04,
    author = {Timo Latvala and Heikki Tauriainen},
    journal = {Nordic Journal of Computing},
    number = {2},
    pages = {148--164},
    publisher = {Publishing Association Nordic Journal of Computing},
    title = {Improved on-the-fly Verification With Testers},
    volume = {11},
    year = {2004},
}