Keyword : test case generation


Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models
Takashi TOMITA Daisuke ISHII Toru MURAKAMI Shigeki TAKEUCHI Toshiaki AOKI 
Publication:   
Publication Date: 2020/02/01
Vol. E103-A  No. 2 ; pp. 451-461
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
model-based developmentMATLAB/Simulinktest case generationMonte-Carlo methodtemplate-based method
 Summary | Full Text:PDF

3-Way Software Testing with Budget Constraints
Soumen MAITY 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9 ; pp. 2227-2231
Type of Manuscript:  Special Section LETTER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
covering arraystest case generationfinite fieldslinear group
 Summary | Full Text:PDF

A Function Interaction Testing by Reusing Characterized Test Cases
Youngsul SHIN Woo Jin LEE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D  No. 9 ; pp. 2232-2234
Type of Manuscript:  Special Section LETTER (Special Section on Software Reliability Engineering)
Category: 
Keyword: 
test case reusetest case generationautomation enhancementcharacterization
 Summary | Full Text:PDF

Computer Algebra System as Test Generation System
Satoshi HATTORI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2010/05/01
Vol. E93-D  No. 5 ; pp. 1006-1017
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Testing
Keyword: 
test case generationequivalence partitioningboundary value analysiswhite-box testingcomputer algebra system
 Summary | Full Text:PDF

Swiss Cheese Test Case Generation for Web Services Testing
Wei-Tek TSAI Xiao WEI Yinong CHEN Ray PAUL Bingnan XIAO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/12/01
Vol. E88-D  No. 12 ; pp. 2691-2698
Type of Manuscript:  Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems)
Category: 
Keyword: 
Web servicesWeb services testingtest case generationvulnerabilitymodel checking
 Summary | Full Text:PDF

A Test Case Generation Method for Black Box Testing of Concurrent Programs
Noriyasu ARAKAWA Terunao SONEOKA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1081-1089
Type of Manuscript:  PAPER
Category: Communication Software
Keyword: 
test case generationconcurrent programblack-box testingreachability analysis
 Summary | Full Text:PDF