Hideaki Takai

According to our database, Hideaki Takai authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

SMT-Based Model Checking of Industrial Simulink Models.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the Formal Methods and Software Engineering, 2022