On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation (知能ソフトウェア工学)

On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation

(知能ソフトウェア工学)

Journal name: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(128):2014.7.9-11

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 記事
Title: On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation
Author/Editor: Cassia DE SOUZA CARVALHO
Tatsuhiro TSUCHIYA
Series Title: 知能ソフトウェア工学
Author Heading: Cassia DE SOUZA CARVALHO
Tatsuhiro TSUCHIYA
Periodical title: 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue: 114(128):2014.7.9-11
Volume: 114
Issue: 128
Pages: 149-154
Publication date of volume/issue (W3CDTF): 2014-07
ISSN (Periodical Title): 0913-5685
ISSN-L (Periodical Title): 0913-5685
Publication (Periodical Title): 東京 : 電子情報通信学会
Place of Publication (Country Code): JP
Text Language Code: eng
Subject Heading: all transitions-pairs
coverage criteria
model checking
NuSMV
set covering problem
statechart
NDLC: ZN33
Target Audience: 一般
Report No. (Article): KBSE2014-26
Holding library: 国立国会図書館
Call No.: Z16-940
Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 025635033
http://id.ndl.go.jp/bib/025635033
Bibliographic Record Category (NDL): 632