1
0
0
(1 - 16 von 18
)
Test Models and Algorithms for Model-Based Testing of ...DiVA portal
diva-portal.org
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.
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
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 ...
GitHub Pages
haslab.github.io
von C Liu · — Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Deltaccs: A core calculus for behavioral change. In Proceedings of the 6th International ...
Fine-Grained Model Slicing for Faster Verificationuu.nl
studenttheses.uu.nl
von RR Eilers · · Zitiert von: 1 — and Hauke Baller. Conditioned model slicing of feature-annotated state machines. In Proceedings of the 4th International Workshop on. › bitstream › handle
SILO of research documents
silo.tips
▫ Hauke Baller, .tu-bs.de. Seminar Programmierung und Reaktive Systeme. 4. Page 5. Seminarablauf. ▫ : Kick-Off Treffen: Vergabe der ...
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 ...
Trinity College Dublin
www.tara.tcd.ie
von A Borda · — [84] Malte Lochau, Stephan Mennicke, Hauke Baller, and Lars Ribbeck. Deltaccs: A core calculus for behavioral change. In Part I of the ...
UWSpace
uwspace.uwaterloo.ca
von V Kudva · · Zitiert von: 3 — [8] Hauke Baller, Sascha Lity, Malte Lochau, and Ina Schaefer. Multi-objective test suite optimization for incremental product family ...
Towards Incremental Model Slicing for SPL Regression .Motivation ...cupdf.com › document
cupdf.com
Sascha Lity, Hauke Baller, Ina Schaefer, May 14th, Technische Universitt Braunschweig. Institut fr Programmierungund Reaktive Systeme. Motivation.
dagstuhl.de
www.dagstuhl.de
Hauke Baller. 10:10-10:35 Minimal Invasive Provenance Integration for Data-intensive Systems. Martin Schäler. 10:35-11:00 Kaffeepause. 11:00-11:25 Predicting ...
, Copenhagen - DOKUMEN.TIPSdokumen.tips › Documents
dokumen.tips
· Forschungsthemen Multi-Objective Test Suite Optimization for Incremental Product Family Testing (joint work with Hauke Baller, ...
, Copenhagen - [PPTX Powerpoint]
cupdf.com
· Forschungsthemen Multi-Objective Test Suite Optimization for Incremental Product Family Testing (joint work with Hauke Baller, ...
ACM Digital Library
dl.acm.org
— Hauke Baller, Sascha Lity, Malte Lochau, and Ina Schaefer Multi-Objective Test Suite Optimization for Incremental Product Family ...
Technische Universität Clausthal
www.isse.tu-clausthal.de
— Hauke Baller, Dr. Jens-Wolfhard Schicke-Uffmann, Benjamin Mensing, and Dr. Matthias Hagner of the (former) Institute for Programming and ...
sortiert nach Relevanz / Datum