Login / Signup
Hiroki Takamatsu
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Relational Databases
Generation Algorithm
Multiple Objects
Training Set
Top Venues
SMC
</>
Publications
</>
Hiroki Takamatsu
,
Haruhiko Sato
,
Satoshi Oyama
,
Masahito Kurihara
Method sequence generation for multiple object states using dynamic symbolic execution.
SMC
(2014)