Mitsuo Inagaki

Publication Activity (10 Years)

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

Top Topics

Relational Databases

Symbolic Execution

Simulated Annealing Algorithm

Top Venues

Publications

Ryo Soga, Tetsuya Yonemitsu, Mitsuo Inagaki, Yasushi Fujisaki, Hiroo Sugou, Hideyuki Kanuka
A Program Simplification Method for Generating Test Input Values Using Symbolic Execution. APSEC (2020)