Research Topics

Research Topic Test

Publications:

QuickSearch:   Number of matching entries: 0.

YearTitleAuthorJournal/ProceedingsPublisher
2012 Pattern- and Component-based Development of Dependable Systems

[BibTeX] [pdf]

Hatebur, D. School: University of Duisburg-Essen   Deutscher Wissenschafts-Verlag (DWV) Baden-Baden  
BibTeX: 
@phdthesis{Hatebur2012,
  year = {2012},
  title = {Pattern- and Component-based Development of Dependable Systems},
  author = {Hatebur, Denis},
  publisher = {Deutscher Wissenschafts-Verlag (DWV) Baden-Baden},
  school = {University of Duisburg-Essen},
  url = {http://www.dwverlag.de/index.php?art=Pattern-+and+Component-based+Development+of+Dependable+Systems&mod=Onlineshop&view=Artikel&abid=166}
}
2008 Using UML Environment Models for Test Case Generation

[Abstract] [BibTeX] [pdf]

Heisel, M., Hatebur, D., Santen, T. & Seifert, D. Software Engineering 2008 - Workshopband   GI  
Abstract: We propose a new method for system validation by means of testing,
which is based on environment models expressed as UML state machines. A sun
blind control case study serves to illustrate the method.
BibTeX: 
@inproceedings{HHSS08a,
  year = {2008},
  title = {{U}sing {UML} {E}nvironment {M}odels for {T}est {C}ase {G}eneration},
  booktitle = {Software Engineering 2008 - Workshopband},
  author = {Heisel, Maritta and Hatebur, Denis and Santen, Thomas and Seifert, Dirk},
  publisher = {GI},
  pages = {399--406},
  url = {https://gi.de/}
}
2008 Testing Against Requirements using UML Environment Models

[Abstract] [BibTeX] [pdf]

Heisel, M., Hatebur, D., Santen, T. & Seifert, D. Proc. Fachgruppentreffen Requirements Engineering und Test, Analyse & Verifikation   GI  
Abstract: We propose a new method for system validation by
means of testing, which is based on environment models
expressed as UML state machines. A sun blind
control case study serves to illustrate the method.
BibTeX: 
@inproceedings{HHSS08b,
  year = {2008},
  title = {Testing Against Requirements using {UML} Environment Models},
  booktitle = {Proc. {Fachgruppentreffen} {Requirements} {Engineering} und {Test}, {Analyse} \& {Verifikation}},
  author = {Heisel, Maritta and Hatebur, Denis and Santen, Thomas and Seifert, Dirk},
  publisher = {GI},
  pages = {28--31},
  url = {https://gi.de/}
}

Created by JabRef on 13/03/2018.