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,