Login / Signup
Kenji Onishi
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Symbolic Execution
Building Blocks
Test Generation
Top Venues
CoRR
</>
Publications
</>
Daisuke Ishii
,
Takashi Tomita
,
Kenji Onishi
,
Toshiaki Aoki
Compositional Test Generation of Industrial Synchronous Systems.
CoRR
(2021)