Search Results for author: Yoshihiro Kumazawa

Found 1 papers, 0 papers with code

Causality-Aided Falsification

no code implementations8 Sep 2017 Takumi Akazaki, Yoshihiro Kumazawa, Ichiro Hasuo

Falsification is drawing attention in quality assurance of heterogeneous systems whose complexities are beyond most verification techniques' scalability.

Stochastic Optimization

Cannot find the paper you are looking for? You can Submit a new open access paper.