A feature interaction benchmark for the first feature interaction detection contest-Reference-Cited by-同舟云学术

A feature interaction benchmark for the first feature interaction detection contest

Published:2000-04 Issue:4 Volume:32 Page:389-418
ISSN:1389-1286
Container-title:Computer Networks
language:en
Short-container-title:Computer Networks

Author:

Griffeth Nancy,Blumenthal Ralph,Gregoire Jean-Charles,Ohta Tadashi

Publisher

Elsevier BV

Subject

Computer Networks and Communications

Reference31 articles.

1. P.K. Au, J. Atlee, Evaluation of a state-based model of feature interactions, in: P. Dini, R. Boutaba, L. Logrippo (Eds.), Feature Interactions in Telecommunications Networks IV, IOS Press, Amsterdam, 1997

2. J.W. Bergstra, L. Bouma, Models for feature descriptions and interactions, in: P. Dini, R. Boutaba, L. Logrippo (Eds.), Feature Interactions in Telecommunications Networks IV, IOS Press, Amsterdam, 1997

3. J. Blom, R. Bol, L. Kempe, Automatic detection of feature interactions in temporal logic, in: K. Cheng, T. Ohta (Eds.), Feature Interactions in Telecommunications III, IOS Press, Amsterdam, 1995

4. L.G. Bouma, H. Velthuijsen (Eds.), Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, 1994

5. K. Braithwaite, J. Atlee, Towards automated detection of feature interactions, in: L. Bouma, H. Velthuijsen (Eds.), Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, 1994

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification execution model for detecting feature interactions;Electronics and Communications in Japan (Part I: Communications);2006

2. Proof Planning for First-Order Temporal Logic;Automated Deduction – CADE-20;2005

3. Proof Planning for Feature Interactions: A Preliminary Report;Logic for Programming, Artificial Intelligence, and Reasoning;2002