Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/05/01 Vol. E97-DNo. 5 ;
pp. 1109-1118 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: software testing, scenario generation, knowledge-based engineering, Web applications,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2012/09/01 Vol. E95-ANo. 9 ;
pp. 1501-1505 Type of Manuscript: Special Section LETTER (Special Section on Software Reliability Engineering) Category: Keyword: SAT, software testing, pairwise testing, test set generation, constraints,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2011/12/01 Vol. E94-DNo. 12 ;
pp. 2418-2430 Type of Manuscript: PAPER Category: Software Engineering Keyword: software testing, test coverage, code coverage, metrics, framework,
Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method Masaki NAKAMURATakahiro SEINO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2009/05/01 Vol. E92-DNo. 5 ;
pp. 1012-1021 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Software Testing Keyword: formal specification, proof score, software testing, OTS, CafeOBJ,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2007/11/01 Vol. E90-BNo. 11 ;
pp. 3104-3107 Type of Manuscript: Special Section LETTER (Special Section on Next Generation Network Management) Category: Keyword: mobile ad hoc networks, software testing,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/06/01 Vol. E88-DNo. 6 ;
pp. 1142-1149 Type of Manuscript: Special Section PAPER (Special Section on Software Engineering for Embedded Systems) Category: Keyword: embedded software development, fault tree analysis, software testing,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/12/01 Vol. E87-DNo. 12 ;
pp. 2733-2743 Type of Manuscript: PAPER Category: Software Engineering Keyword: software testing, selective testing, prioritization,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2004/04/01 Vol. E87-DNo. 4 ;
pp. 849-854 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Metrics, Test, and Maintenance Keyword: software testing, random testing, intelligence testing, Chinese postman problem, fault detection,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/10/01 Vol. E86-DNo. 10 ;
pp. 2114-2120 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks) Category: Testing Keyword: software testing, high assurance system, automated testing, statistical testing, code coverage,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2002/12/01 Vol. E85-ANo. 12 ;
pp. 2946-2949 Type of Manuscript: LETTER Category: Algorithms and Data Structures Keyword: factor covering design, software testing, finite field,