@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},
}