Formal detection of feature interactions with logic programming and LOTOS

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems · 1987 · 1.3K citations · Full text

Computing, Computer Science, Formal Methods +5

A feature-interaction benchmark for IN and beyond

E.J. Cameron, Nancy D. Griffeth, Ya‐Hui Lin et al. · IEEE Communications Magazine · 1993 · 194 citations

Computing, Computer Science, Information Systems +9

A feature interaction benchmark for {IN} and beyond

E.J. Cameron, Nancy D. Griffeth, Yow-Jian Lin et al. · Data Archiving and Networked Services (DANS) · 1994 · 104 citations

Computing, Computer Science, Feature Engineering +8

An introduction to LOTOS: learning by examples

Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein · Computer Networks and ISDN Systems · 1992 · 100 citations

Computing, Computer Science, Machine Learning +1

Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS

Daniel Amyot · 2000 · 55 citations

Engineering, Design, Systems Engineering +17