loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Masahiro Sakai

Masahiro Sakai studied electronic machine at Niiza general technical high school. He joined in BTC Japan in 2011, and stared to work as a sales engineer for Formal Specification, Formal Verification and Automatic Testing compliant with functional safety standards. He currently works as a sales engineering department.