Affiliation:
1. Japan Advanced Institute of Science and Technology
2. University of Fukui
3. Gaio Technology Co.
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Signal Processing
Reference13 articles.
1. [1] T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, and T. Aoki, “Template-based Monte-Carlo test generation for Simulink models,” Cyber Physical Systems. Design, Modeling, and Evaluation, R. Chamberlain, W. Taha, and M. Törngren, eds., LNCS 11267, pp.63-78, Springer International Publishing, 2019. 10.1007/978-3-030-17910-6_5
2. [2] T. Tomita, D. Ishii, T. Murakami, S. Takeuchi, and T. Aoki, “A scalable Monte-Carlo test-case generation tool for large and complex Simulink models,” Proc. 11th Workshop on Modelling in Software Engineering, MiSE'19, pp.39-46, IEEE Press, 2019. 10.1109/mise.2019.00014
3. [3] International Electrotechnical Commission, “IEC 61508 functional safety of electrical/electronic/programmable electronic safety-related systems.”
4. [4] International Organization for Standardization, “ISO 26262 road vehicles-functional safety.”
5. [5] P. Schrammel, D. Kroening, M. Brain, R. Martins, T. Teige, and T. Bienmüller, “Incremental bounded model checking for embedded software,” Formal Aspects of Computing, vol.29, no.5, pp.911-931, Sept. 2017. 10.1007/s00165-017-0419-1
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12