Koki Hamaya

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Symbolic Execution

Specification Language

Test Generation

Top Venues

Publications

Koki Hamaya, Satoshi Yamane
Detecting bank conflict of GPU programs using symbolic execution. GCCE (2016)