1
0
0
(1 - 32 von 34
)
eck*cellent IT
eckcellent-it.de
Von Hauke Baller | Im Bereich der Software-Architektur sind wir auf dem Weg zu einer Monokultur. Wie die ...
Leveraging Applications of Formal Methods, Verification and ...google.lu
books.google.lu
320 Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck Coverage Criteria for Behavioural Testing of Software Product Lines .
Entwurfsoptimierung von selbst-adaptiven Wartungsmechanismen fuer...
books.google.nl
This work presents novel concepts for efficient decision support in reconfiguring software-intensive technical systems with limited maintenance access. In...
Multikriterielle Minimierung und Priorisierung von Test-Suiten für...
books.google.com.ua
Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien. Front Cover. Hauke Baller. Verlag Dr. Hut, Reviews ...
GitHub
aleksdimovski.github.io
von AS Dimovski · Zitiert von: 34 — Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars. Ribbeck. Incremental model checking of delta-oriented software product lines. J. Log. Algebr. Meth ...
SZTE Publicatio Repozitórium
publicatio.bibl.u-szeged.hu
von G Ladányi · · Zitiert von: 10 — Sascha Lity, Hauke Baller, and Ina Schaefer — TU Braunschweig, Germany Understanding Software Performance ...
A MODEL-BASED TEST GENERATION APPROACH FOR ...yok.gov.tr
acikbilim.yok.gov.tr
von D Öztürk · Zitiert von: 2 — Lochau, Malte, Stephan Mennicke, Hauke Baller, and Lars Ribbeck “Incremental. Model Checking of Delta-Oriented Software Product Lines. › bitstream › handle
Test Models and Algorithms for Model-Based Testing of ...DiVA portal
www.diva-portal.se
von M Varshosaz · · Zitiert von: 5 — [33] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Incre- mental model checking of delta-oriented software product lines. Journal of. › get › FULLTEXT01
DBLPhttps://dblp.uni-trier.de › pidMalte Lochau
dblp.uni-trier.de
Hauke Baller, Malte Lochau: Towards incremental test suite optimization for software product lines. FOSD 2014: [c26]. view. electronic edition via DOI ...
DBLPhttps://dblp.org › PersonsHauke Baller
dblp.org
— Hauke Baller: Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien.
Technische Universität Braunschweig
leopard.tu-braunschweig.de
von R Lachmann · Zitiert von: 4 — Hauke Baller and Malte Lochau. Towards Incremental Test Suite. Optimization for Software Product Lines. In FOSD, pages 30– ACM93. [BLB08]. L.C. ...
Journal of Logical and Algebraic Methods in Programming | Formal...
www.sciencedirect.com
Incremental model checking of delta-oriented software product lines. Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck. Pages : Download ...
ResearchGate
www.researchgate.net
Hauke Baller · Ina Schaefer. The analysis of nowadays software systems for supporting, e.g., testing, verification or debugging is becoming more challenging ...
researchr.org
researchr.org
... Hauke Baller, Ina Schaefer [doi] · Understanding software performance regressions using differential flame graphsCor-Paul Bezemer, Johan Pouwelse ...
Dr. Hut Verlag
www.dr.hut-verlag.de
Hauke Baller Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien Seiten, Dissertation Technische Universität ...
Unpaywall
unpaywall.org
[55] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck Incre- mental model checking of delta-oriented software product lines. J. Log ...
basic-notions.org
www.basic-notions.org
Joint work with Malte Lochau, Hauke Baller, Lars Ribbeck J. Log. Algebraic Methods Program., Towards an I/O Conformance Testing Theory for Software ...
lrde.epita
www.lrde.epita.fr
von U Fahrenberga · Zitiert von: 2 — [37] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Incre- mental model checking of delta-oriented software product lines ...
Grafiati
www.grafiati.com
— Baller, Hauke [Verfasser]. "Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien / Hauke Baller.
eck*cellent IT
eckcellent-it.de
— ... Hauke Baller diesen Vortrag gehalten. Schaut gern mal rein ... Hauke Baller. Softwareentwicklung. Themen. Android · Apps · Ausbildung · Hardware ...
Accepted Papers - Seventh IEEE International Conference ...sites.google.com
sites.google.com
A Comparison of Test Case Prioritization Criteria for Software Product Lines; Hauke Baller, Sascha Lity, Malte Lochau and Ina Schaefer. › program
Accepted Papers - Google Sites
sites.google.com
A Comparison of Test Case Prioritization Criteria for Software Product Lines; Hauke Baller, Sascha Lity, Malte Lochau and Ina Schaefer. Multi-Objective Test ...
Seventh IEEE International Conference on Software Testingsites.google.com
sites.google.com
Hauke Baller, Sascha Lity, Malte Lochau and Ina Schaefer Multi-Objective Test Suite Optimization for Incremental Product Family Testing, Panelists
Featured games - ScienceDirectUnpaywall
unpaywall.org
Malte Lochau, Stephan Mennicke, Hauke Baller, Lars Ribbeck. Incremental model checking of delta-oriented software product lines.
FOSD Meeting Christian Doppler Laboratory MEVSS
mevss.jku.at
Hauke Baller (TU Braunschweig, Germany), Software product line test-suite optimization using genetic algorithms. Hendrik Speidel (schnapptack GmbH, Germany) ... › ...
Konferenzseminar IT-Sicherheit - PDF Kostenfreier ...DocPlayer.org
docplayer.org
... Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity, Hauke Baller in Kooperation mit dem Institut für Softwaretechnik und Fahrzeuginformatik.
Lecture Notes in Computer Science 8803DocPlayer.net
docplayer.net
320 Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Table of Contents Part I XVII Coverage Criteria for Behavioural Testing of Software ...
Second Life
example.caufenza.tk
Explore, communicate, and connect in Second Life with the official 3D browsing software.
Software-Produktlinien - Bibliografías - Grafiati
www.grafiati.com
"Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien / Hauke Baller". Online-Ressource, München : Verlag Dr. Hut, ... › softwar...
Bibliographies: 'Priorisierung'grafiati.com
www.grafiati.com
— "Multikriterielle Minimierung und Priorisierung von Test-Suiten für Software-Produktlinien / Hauke Baller." München : Verlag Dr. Hut, ...
Wissenschaftliches Arbeiten - PDF Kostenfreier Download
docplayer.org
Seminar Programmierung und Reaktive Systeme Qualitätssicherung Softwareintensiver Eingebetteter Systeme Betreuer: Sascha Lity, Hauke Baller in ...
Alle Infos zum Namen "Hauke Baller"
sortiert nach Relevanz / Datum