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

アクセス数:280件（2025-07-09 23:38 集計）

固定URL: https://hdl.handle.net/11094/27263

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_E86-D_12_2579 pdf なし 589 KB 109 2014.04.03  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
Feature Interaction Detection by Bounded Model Checking
著者
NRID
1000050382362 1000050382362
著者名
Yokogawa, Tomoyuki
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
著者名
Tsuchiya, Tatsuhiro
NRID
1000030324859 1000030324859
著者名
Nakamura, Masahide
NRID
1000050093745 1000050093745
著者名
Kikuno, Tohru
キーワード等
bounded model checking
SAT
feature interaction
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
IEICE transactions on information and systems
巻(号)
E86-D(12)
ページ
2579-2587
刊行年月
2003-12-01
言語
英語
ハンドルURL
https://hdl.handle.net/11094/27263
PISSN
09168532
NCID
AA10826272
関連情報 (references)
URI
http://search.ieice.org/
アクセス権
open access
権利情報
Copyright © 2003 The Institute of Electronics, Information and Communication Engineers
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article