thesis on visualizing the evolution of software features, extending our feature dashboards and IDE plugins
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
Available
A SAT solver for Linux
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.
A Language Server (LSP) for code annotations
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
Machine-/Deep-Learning-based GitHub Project Classification
DescriptionBrief description of the topic Contact: Yorick Sens (yorick.sens@rub.de)Extent: B.Sc./ M.Sc.
Configuration Mechanisms in Robotics Middlewares (e.g., ROS)
Description Contact:Extent: B.Sc./ M.Sc.
Study on How Configuration Affects Security
DescriptionThe idea is to study security policies in the Linux kernel (or a comparable, large-scale software system) and identify the influence of software configurability (the Linux kernel has a large configuration space, managed by the Kconfig system). A future outcome could be a tool for security warnings based on smells for certain selections (e.g., based … Read more
quantitative analysis of Linux kernel compiler errors
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
Scala Code Generator from Meta-Models in EMF Ecore
DescriptionInvestigate https://github.com/crossecore and check whether such a code generator could be an extension to it. Contact:Extent: B.Sc./ M.Sc.
Intellij IDEA feature annotation/visualization plugin
DescriptionBrief description of the topic Contact:Extent: B.Sc./ M.Sc.
Software Defect Prediction
DescriptionCase study of realizing defect prediction in industry. Continue work we performed with the automotive supplier Aptive. Contact:Extent: B.Sc./ M.Sc.