Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints

Nanba, Toru; Tsuchiya, Tatsuhiro; Kikuno, Tohru

IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, 2012, E95-A(9), 1501-1505

アクセス数:254件（2025-07-15 09:47 集計）

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

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_E95-A_9_1501 pdf なし 87.4 KB 430 2014.04.03  

論文情報

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

タイトル
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
著者
著者名
Nanba, Toru
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
著者名
Tsuchiya, Tatsuhiro
NRID
1000050093745 1000050093745
著者名
Kikuno, Tohru
キーワード等
SAT
software testing
pairwise testing
test set generation
constraints
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
巻(号)
E95-A(9)
ページ
1501-1505
刊行年月
2012-09-01
言語
英語
ハンドルURL
https://hdl.handle.net/11094/27261
PISSN
09168508
関連情報 (references)
URI
http://search.ieice.org/
関連情報 (isIdenticalTo)
DOI (出版社版)
https://doi.org/10.1587/transinf.E95.A.1501
アクセス権
open access
権利情報
Copyright © 2012 The Institute of Electronics, Information and Communication Engineers
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article