Improved Conflict Detection for Graph Transformation with Attributes
Kulcsár, Géza, Deckwerth, Frederik, Lochau, Malte, Varró, Gergely, Schürr, Andy
Published in Electronic proceedings in theoretical computer science (10.04.2015)
Published in Electronic proceedings in theoretical computer science (10.04.2015)
Get full text
Journal Article
Software variability in dynamic environments
Capilla, Rafael, Fuentes, Lidia, Lochau, Malte
Published in The Journal of systems and software (01.10.2019)
Published in The Journal of systems and software (01.10.2019)
Get full text
Journal Article
Unifying modal interface theories and compositional input/output conformance testing
Luthmann, Lars, Mennicke, Stephan, Lochau, Malte
Published in Science of computer programming (01.03.2019)
Published in Science of computer programming (01.03.2019)
Get full text
Journal Article
Effective product-line testing using similarity-based product prioritization
Al-Hajjaji, Mustafa, Thüm, Thomas, Lochau, Malte, Meinicke, Jens, Saake, Gunter
Published in Software and systems modeling (01.02.2019)
Published in Software and systems modeling (01.02.2019)
Get full text
Journal Article
Delta-oriented model-based integration testing of large-scale systems
Lochau, Malte, Lity, Sascha, Lachmann, Remo, Schaefer, Ina, Goltz, Ursula
Published in The Journal of systems and software (01.05.2014)
Published in The Journal of systems and software (01.05.2014)
Get full text
Journal Article
Reasoning about product-line evolution using complex feature model differences
Bürdek, Johannes, Kehrer, Timo, Lochau, Malte, Reuling, Dennis, Kelter, Udo, Schürr, Andy
Published in Automated software engineering (01.12.2016)
Published in Automated software engineering (01.12.2016)
Get full text
Journal Article
A calculus of concurrent graph-rewriting processes
Kulcsár, Géza, Corradini, Andrea, Lochau, Malte
Published in Journal of logical and algebraic methods in programming (01.01.2020)
Published in Journal of logical and algebraic methods in programming (01.01.2020)
Get full text
Journal Article
Incremental model checking of delta-oriented software product lines
Lochau, Malte, Mennicke, Stephan, Baller, Hauke, Ribbeck, Lars
Published in Journal of logical and algebraic methods in programming (01.01.2016)
Published in Journal of logical and algebraic methods in programming (01.01.2016)
Get full text
Journal Article
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-Based Analysis of Variant-Rich Software
Reuling, Dennis, Kelter, Udo, Ruland, Sebastian, Lochau, Malte
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Get full text
Conference Proceeding
Model-based pairwise testing for feature interaction coverage in software product line engineering
Lochau, Malte, Oster, Sebastian, Goltz, Ursula, Schürr, Andy
Published in Software quality journal (01.09.2012)
Published in Software quality journal (01.09.2012)
Get full text
Journal Article