Toshiki Seto

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 1

Top Topics

Optimization Algorithm

Specification Language

Symbolic Execution

Test Generation

Top Venues

Publications

Toshiki Seto, Akito Monden, Zeynep Yücel, Yuichiro Kanzaki
On Preventing Symbolic Execution Attacks by Low Cost Obfuscation. SNPD (2019)
Naoyasu Ubayashi, Toshiki Seto, Hirotoshi Kanagawa, Susumu Taniguchi, Jun Yoshida, Takeshi Sumi, Masayuki Hirayama
A context analysis method for constructing reliable embedded systems. MiSE (2008)