A feature interaction benchmark for the first feature interaction detection contest

Authors:
Nancy Griffeth;Ralph Blumenthal;Jean-Charles Gregoire;Tadashi Ohta
Affiliations:
-;-;-;-
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
Year:
2000

Feature Interaction Detection in Active Networks

IWAN '02 Proceedings of the IFIP-TC6 4th International Working Conference on Active Networks
Proof Planning for Feature Interactions: A Preliminary Report

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Incremental requirement specification for evolving systems

Nordic Journal of Computing
Proof planning for first-order temporal logic

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

Hi-index	0.00