Detecting Feature Interactions in Telecommunication Services with a SAT Solver

Tsukuba, Japan December 16-December 18

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/PRDC.2002.1185629

Ninth Pacific Rim International Sympo ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Tatsuhiro Tsuchiya Articles by Masahide Nakamura Articles by Tohru Kikuno

	ASCII Text	x
	Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services with a SAT Solver," Pacific Rim International Symposium on Dependable Computing, IEEE, pp. 131, Ninth Pacific Rim International Symposium on Dependable Computing (PRDC'02), 2002.

	BibTex	x
	@article{ 10.1109/PRDC.2002.1185629, author = {Tatsuhiro Tsuchiya and Masahide Nakamura and Tohru Kikuno}, title = {Detecting Feature Interactions in Telecommunication Services with a SAT Solver}, journal ={Pacific Rim International Symposium on Dependable Computing, IEEE}, volume = {0}, year = {2002}, isbn = {0-7695-1852-4}, pages = {131}, doi = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2002.1185629}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Pacific Rim International Symposium on Dependable Computing, IEEE TI - Detecting Feature Interactions in Telecommunication Services with a SAT Solver SN - 0-7695-1852-4 SP EP A1 - Tatsuhiro Tsuchiya, A1 - Masahide Nakamura, A1 - Tohru Kikuno, PY - 2002 KW - null VL - 0 JA - Pacific Rim International Symposium on Dependable Computing, IEEE ER -

Tatsuhiro Tsuchiya, Osaka University

Masahide Nakamura, Nara Institute of Science &Technology

Tohru Kikuno, Osaka University

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

Citation:

Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services with a SAT Solver," prdc, pp.131, Ninth Pacific Rim International Symposium on Dependable Computing (PRDC'02), 2002

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.