Detecting Feature Interactions in Telecommunication Services with a SAT Solver

Authors:
Tatsuhiro Tsuchiya;Masahide Nakamura;Tohru Kikuno
Affiliations:
-;-;-
Venue:
PRDC '02 Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing
Year:
2002

Citing 0
Cited 1

Program entanglement, feature interaction and the feature language extensions

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Feature interaction is a kind of inconsistent conflict between multiple communication services an considered anobstacle to developing reliable telephony systems. In thispaper we present an automatic method for detecting feature interactions in service specifications.This method usesbounde model checking, a SAT-base automatic verification technique.