Test-design through abstraction - a systematic approach based on the refinement calculus

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

Original language	English
Pages (from-to)	710-735
Journal	Journal of Universal Computer Science
Volume	7
Issue number	8
Publication status	Published - 2001

@article{23c3f8142d974d22b63197b6a89a6a95,

title = "Test-design through abstraction - a systematic approach based on the refinement calculus",

author = "Bernhard Aichernig",

year = "2001",

language = "English",

volume = "7",

pages = "710--735",

journal = "Journal of Universal Computer Science",

issn = "0948-695X",

publisher = "Verlag der Technischen Universit{\"a}t Graz",

number = "8",

}

Projects

Project: Research area