@techreport{4cb250763723498994001c28777f864b,
title = "Specification-based test selection in formal conformance testing",
keywords = "formal conformance testing, on-the-fly testing, specification-based coverage, test selection, formal conformance testing, on-the-fly testing, specification-based coverage, test selection, formal conformance testing, on-the-fly testing, specification-based coverage, test selection",
author = "Tuomo Pyh{\"a}l{\"a}",
year = "2004",
language = "English",
series = "Series A Research Reports",
publisher = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
number = "A93",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Laboratory for Theoretical Computer Science",
}