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

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	undefiniert/unbekannt
Seiten (von - bis)	181-186
Fachzeitschrift	Elektrotech. Informationstechnik
Jahrgang	127
Ausgabenummer	6
DOIs	https://doi.org/10.1007/S00502-010-0741-2
Publikationsstatus	Veröffentlicht - 2010
Extern publiziert	Ja

Zugriff auf Dokument

10.1007/S00502-010-0741-2

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

Dieses zitieren

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