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

Number of Access:274（2025-11-02 15:13 Counts）

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

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
IEICE_E95-A_9_1501 pdf None 87.4 KB 458 2014.04.03  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints
Creator
CreatorName
Nanba, Toru
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
1000050093745 1000050093745
CreatorName
Kikuno, Tohru
Subject
SAT
software testing
pairwise testing
test set generation
constraints
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Volume (Issue)
E95-A(9)
Page
1501-1505
Date of Issued
2012-09-01
Language
English
Handle URL
https://hdl.handle.net/11094/27261
PISSN
09168508
Relation.references
URI
http://search.ieice.org/
Relation.isIdenticalTo
DOI (Publisher Version)
https://doi.org/10.1587/transinf.E95.A.1501
Access Rights
open access
CopyRight
Copyright © 2012 The Institute of Electronics, Information and Communication Engineers
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article