thesis together with Danfoss Denmark

Description
static analysis of firmware source code to extract configuration constraints and to reverse-engineer/extend a variability model

Contact:
Extent: B.Sc./ M.Sc.