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

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)710-735
JournalJournal of Universal Computer Science
Volume7
Issue number8
Publication statusPublished - 2001

Cite this

Test-design through abstraction - a systematic approach based on the refinement calculus. / Aichernig, Bernhard.

In: Journal of Universal Computer Science , Vol. 7, No. 8, 2001, p. 710-735.

Research output: Contribution to journalArticleResearchpeer-review

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

}

TY - JOUR

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

AU - Aichernig, Bernhard

PY - 2001

Y1 - 2001

M3 - Article

VL - 7

SP - 710

EP - 735

JO - Journal of Universal Computer Science

JF - Journal of Universal Computer Science

SN - 0948-695X

IS - 8

ER -