Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.

Wolfgang Herzner; Rupert Schlick; Werner Schütz; Harald Brandl; Willibald Krenn

doi:10.1007/S00502-010-0741-2

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.

Wolfgang Herzner, Rupert Schlick, Werner Schütz, Harald Brandl, Willibald Krenn

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

Original language	Undefined/Unknown
Pages (from-to)	181-186
Journal	Elektrotech. Informationstechnik
Volume	127
Issue number	6
DOIs	https://doi.org/10.1007/S00502-010-0741-2
Publication status	Published - 2010
Externally published	Yes

Access to Document

10.1007/S00502-010-0741-2

https://dblp.org/rec/journals/ei/HerznerSSBK10

Cite this

@article{beaaa66dc57542fc849a9d52e0a535f8,

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

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2010",

doi = "10.1007/S00502-010-0741-2",

language = "undefiniert/unbekannt",

volume = "127",

pages = "181--186",

number = "6",

}

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

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2010

Y1 - 2010

U2 - 10.1007/S00502-010-0741-2

DO - 10.1007/S00502-010-0741-2

M3 - Artikel

VL - 127

SP - 181

EP - 186

JO - Elektrotech. Informationstechnik

JF - Elektrotech. Informationstechnik

IS - 6

ER -