Model-based conformance testing of software product lines

von Lochau, Malte
Veröffentlicht 2013

Model-based conformance testing of software product lines

von Lochau, Malte
Veröffentlicht 2013

Extended version of multi-perspectives on feature models

von Schroeter, Julia
Veröffentlicht 2011

HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)

von Ruland, Sebastian
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)

Parametric Timed Bisimulation

von Lochau, Malte
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Testing Conformance in Multi-component Enterprise Application Management

von Soldani, Jacopo
Veröffentlicht in ESOCC (8. : 2020 : Heraklion) Service-oriented and cloud computing (2020)