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