Login / Signup
Takuki Kamiya
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Quality Assurance
Code Coverage
Symbolic Execution
Relational Databases
Top Venues
IEEE Softw.
</>
Publications
</>
Hiroaki Yoshida
,
Guodong Li
,
Takuki Kamiya
,
Indradeep Ghosh
,
Sreeranga P. Rajan
,
Susumu Tokumoto
,
Kazuki Munakata
,
Tadahiro Uehara
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.
IEEE Softw.
34 (5) (2017)