Towards Generation of Efficient Test Cases from UML/OCL models for complex safety-critical systems

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

Original language	English
Pages (from-to)	181-186
Number of pages	6
Journal	e&i elektrotechnik und informationstechnik
Volume	6
Publication status	Published - 2010

Research Field

@article{394849548acb422aa22bdf2c098db761,

title = "Towards Generation of Efficient Test Cases from UML/OCL models for complex safety-critical systems",

author = "Wolfgang Herzner and Rupert Schlick and Werner Sch{\"u}tz and Harald Brandl and Willibald Krenn",

year = "2010",

language = "English",

volume = "6",

pages = "181--186",

journal = "e\&i elektrotechnik und informationstechnik",

issn = "0932-383X",

publisher = "Springer-Verlag Wien",

}

TY - JOUR

T1 - Towards Generation of Efficient Test Cases from UML/OCL models for complex safety-critical systems

AU - Herzner, Wolfgang

AU - Schlick, Rupert

AU - Schütz, Werner

AU - Brandl, Harald

AU - Krenn, Willibald

PY - 2010

Y1 - 2010

M3 - Article

SN - 0932-383X

VL - 6

SP - 181

EP - 186

JO - e&i elektrotechnik und informationstechnik

JF - e&i elektrotechnik und informationstechnik

ER -