| # | Country | Total Patents | |
|---|---|---|---|
| #1 | United States | 14 | |
| #2 | Italy | 1 | |
| #3 | Republic of Korea | 1 |
| # | Industry | |
|---|---|---|
| #1 | Audio-visual technology | |
| #2 | Computer technology | |
| #3 | Digital networks | |
| #4 | Telecommunications | |
| #5 | IT methods for management | |
| #6 | Machines |
| # | Name | Total Patents |
|---|---|---|
| #1 | Takahashi Shinichi | 2 |
| #2 | Hamada Seiji | 1 |
| #3 | Gandadatzya | 1 |
| #4 | Yamaguchi Kenichi | 1 |
| #5 | Rajan Sreeranga | 1 |
| #6 | Kanno Masayuki | 1 |
| #7 | Tafazolli Rahim | 1 |
| #8 | Koike Shuji | 1 |
| #9 | Kikuchi Hideyuki | 1 |
| #10 | Sakamoto Yoshiaki | 1 |
| Publication | Filing date | Title |
|---|---|---|
| US2014082594A1 | Abstract symbolic execution for scaling symbolic execution generation and automatic test generation |