Sandy Beidu, Joanne M. Atlee. Detecting Feature Interactions in FORML Models. In Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, editors, From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Volume 11865 of Lecture Notes in Computer Science, pages 220-235, Springer, 2019. [doi]
Abstract is missing.