Improved On-the-fly Verification with Testers

Timo Latvala; Heikki Tauriainen

Improved On-the-fly Verification with Testers

Timo Latvala
, Heikki Tauriainen

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	148-164
Journal	Nordic Journal of Computing
Volume	11
Issue number	2
Publication status	Published - 2004
MoE publication type	A1 Journal article-refereed

Keywords

algorithms
on-the-fly verification
testers

Cite this

@article{88bf38c6d9b944c9bc1ddb98b2c34a9f,

title = "Improved On-the-fly Verification with Testers",

keywords = "algorithms, on-the-fly verification, testers, algorithms, on-the-fly verification, testers, algorithms, on-the-fly verification, testers",

author = "Timo Latvala and Heikki Tauriainen",

year = "2004",

language = "English",

volume = "11",

pages = "148--164",

journal = "Nordic Journal of Computing",

publisher = "University of Helsinki",

number = "2",

}

TY - JOUR

T1 - Improved On-the-fly Verification with Testers

AU - Latvala, Timo

AU - Tauriainen, Heikki

PY - 2004

Y1 - 2004

KW - algorithms

KW - on-the-fly verification

KW - testers

KW - algorithms

KW - on-the-fly verification

KW - testers

KW - algorithms

KW - on-the-fly verification

KW - testers

M3 - Article

VL - 11

SP - 148

EP - 164

JO - Nordic Journal of Computing

JF - Nordic Journal of Computing

IS - 2

ER -