Feature Interaction Detection by Bounded Model Checking

Yokogawa, Tomoyuki; Tsuchiya, Tatsuhiro; Nakamura, Masahide et al.

IEICE transactions on information and systems, 2003, E86-D(12), 2579-2587

Number of Access:306（2025-09-03 10:15 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27263

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
IEICE_E86-D_12_2579 pdf None 589 KB 113 2014.04.03  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
Feature Interaction Detection by Bounded Model Checking
Creator
NRID
1000050382362 1000050382362
CreatorName
Yokogawa, Tomoyuki
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
CreatorName
Tsuchiya, Tatsuhiro
NRID
1000030324859 1000030324859
CreatorName
Nakamura, Masahide
NRID
1000050093745 1000050093745
CreatorName
Kikuno, Tohru
Subject
bounded model checking
SAT
feature interaction
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
IEICE transactions on information and systems
Volume (Issue)
E86-D(12)
Page
2579-2587
Date of Issued
2003-12-01
Language
English
Handle URL
https://hdl.handle.net/11094/27263
PISSN
09168532
NCID
AA10826272
Relation.references
URI
http://search.ieice.org/
Access Rights
open access
CopyRight
Copyright © 2003 The Institute of Electronics, Information and Communication Engineers
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article