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

Research output: Contribution to journal › Article › 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

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

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

}