Feature Interaction Detection Using Testing and Model-Checking Experience Report-Reference-Cited by-同舟云学术

Feature Interaction Detection Using Testing and Model-Checking Experience Report

Published:1999 Issue: Volume: Page:622-641
ISSN:0302-9743
Container-title:FM’99 — Formal Methods
language:
Short-container-title:

Author:

du Bousquet Lydie

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48119-2_35

Reference18 articles.

1. A. Aho, S. Gallagher, N. Griffeth, C. Schell, and D. Swayne. Scf3TMsculptor with chisel: Requirements engineering for communications services. In Feature Interactions in Telecommunications Systems V, pages 45–63. IOS Press, 1998.

2. A. Benveniste and al. Synchronous technology for real-time systems. In The 1994 Real-Time Conferences, pages 104–122, Teknea, 1994.

3. B.W. Boehm. Software Engineering Economics. Prentice-Hall, 1981.

4. P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. LUSTRE, a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages (POPL 87), Munich, pages 178–188. ACM, 1987.

5. P. Combes and S. Pickin. Formalization of a user view of network and services for feature interaction detection. In Feature Interactions in Telecommunications Systems, pages 120–135. IOS Press, 1994.

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

1. Modeling and detecting semantic-based interactions in aspect-oriented scenarios;Requirements Engineering;2010-03-04

2. Proof Process Evaluation with Mutation Analysis;Tests and Proofs;2010

3. Using formal methods to increase confidence in a home network system implementation: a case study;Innovations in Systems and Software Engineering;2009-06-20

4. Model-checking the preservation of temporal properties upon feature integration;International Journal on Software Tools for Technology Transfer;2006-09-26

5. Feature interactions in embedded control systems;Computer Networks;2004-08