Kelly Kaoudis, Henrik Brodin, Evan Sultanik. Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis. In 2023 IEEE Security and Privacy Workshops (SPW), San Francisco, CA, USA, May 25, 2023. pages 187-197, IEEE, 2023. [doi]
Abstract is missing.