This paper proposes two techniques to generate test sequences to check the conformance of an implementation of a feature-rich communication system to...

We investigate the relationship between symmetry reduction and inductive reasoning when applied to model checking networks of featured components. Pop...

Feature Diagrams (FDs) are a family of popular modelling languages used to address the feature interaction problem, particularly in software product l...

Policy-based management is 'introduced and related to the specific needs of call control. It is explained how policies differ in important ways from f...

One big difference between Internet telephony and the Public Switched Telephony Network (PSTN) is that the PSTN usually assumes dumb endpoints, while...