jan

Novel Variation Management Systems

by

DescriptionSoftware variability management is challenging. We’re working towards novel variation management systems, see publications below. TODO: reference to publications Contact:Extent: B.Sc./ M.Sc.

thesis together with Danfoss Denmark

by

Descriptionstatic analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model Contact:Extent: B.Sc./ M.Sc.

A SAT Solver for Linux

by

Description Incorporate a SAT solver (picosat) into the Linux kernel configurator (make xconfig, make menuconfig) to support kernel configuration processes (detect dead features, control visibility of option subtrees, resolve configuration conflicts). More details on the kconfig-sat website . Contact:Extent: B.Sc./ M.Sc.

Machine-/Deep-Learning-based GitHub Project Classification

by

DescriptionOpen-source software repositories are a valuable source of information for software engineering researchers, providing insights into coding patterns, development practices, and developer collaboration. A key challenge fur such studies is the selection of suitable repositories for analysis, which requires categorization of projects (e.g. libraries, applications, etc.). This classification is usually performed manually, making it time … Read more