Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2020/02/01 Vol. E103-ANo. 2 ;
pp. 451-461 Type of Manuscript: Special Section PAPER (Special Section on Mathematical Systems Science and its Applications) Category: Keyword: model-based development, MATLAB/Simulink, test case generation, Monte-Carlo method, template-based method,
3-Way Software Testing with Budget Constraints Soumen MAITY
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/09/01 Vol. E95-DNo. 9 ;
pp. 2227-2231 Type of Manuscript: Special Section LETTER (Special Section on Software Reliability Engineering) Category: Keyword: covering arrays, test case generation, finite fields, linear group,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/09/01 Vol. E95-DNo. 9 ;
pp. 2232-2234 Type of Manuscript: Special Section LETTER (Special Section on Software Reliability Engineering) Category: Keyword: test case reuse, test case generation, automation enhancement, characterization,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/12/01 Vol. E88-DNo. 12 ;
pp. 2691-2698 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems) Category: Keyword: Web services, Web services testing, test case generation, vulnerability, model checking,