| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2017)
Search Results: Keywords 'from:2018-03-06 to:2018-03-06'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2018-03-06 11:30 |
Okinawa | Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton Kozo Okano, Shinpei Ogata, Pan Yang (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.)  SS2017-64 |
Recent rapid growth of information systems makes us pay attention to methods for analysis of accident causation and pr... [more] |
SS2017-64 pp.1-6 |
|
| SS | 2018-03-06 12:00 |
Okinawa | A symbolic Zone-based reachability analysis for dense-timed pushdown automata with freezing clocks Shoji Yuen, Sho Hiraoka (Nagoya Univ.) SS2017-65 |
We present a reachability analysis by the zone-based symbolic discretization for dense-timed pushdown automata with fre... [more] |
SS2017-65 pp.7-12 |
|
| SS | 2018-03-06 12:30 |
Okinawa | Packer identification based on Malware analyzer BE-PUM Mizuhito Ogawa (JAIST) SS2017-66 |
[more] | SS2017-66 pp.13-16 |
|
| SS | 2018-03-06 14:30 |
Okinawa | SS2017-67 |
(To be available after the conference date) [more] | SS2017-67 pp.17-22 |
|
| SS | 2018-03-06 15:00 |
Okinawa | An Investigation into the Characteristics of Source Code for Supporting Inline Method Yuki Yamada, Kyohei Uemura, Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Hajimu Iida (NAIST) SS2017-68 |
Inline Method is refactoring which puts a method body into its caller and remove the method. Although this refactoring ... [more] |
SS2017-68 pp.23-27 |
|
| SS | 2018-03-06 16:00 |
Okinawa | Junnosuke Matsumoto, Yoshiki Higo, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.) SS2017-69 |
(To be available after the conference date) [more] | SS2017-69 pp.29-34 |
|
| SS | 2018-03-06 16:30 |
Okinawa | Toward Visualization of Discussions about Software Quality in OSS Development Shunta Nakanishi, Eunjong Choi, Hajimu Iida (NAIST) SS2017-70 |
To reduce software development cost, Open Source software (OSS) is frequently used in software development companies. Ho... [more] | SS2017-70 pp.35-38 |
|
| SS | 2018-03-07 10:00 |
Okinawa | Hiroto Tanaka, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) SS2017-71 |
(To be available after the conference date) [more] | SS2017-71 pp.39-44 |
|
| SS | 2018-03-07 10:30 |
Okinawa | Ryo Arima, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2017-72 |
(To be available after the conference date) [more] | SS2017-72 pp.45-50 |
|
| SS | 2018-03-07 11:30 |
Okinawa | SS2017-73 |
(To be available after the conference date) [more] | SS2017-73 pp.51-56 |
|
| SS | 2018-03-07 12:00 |
Okinawa | A Determination Method of Locality Sensitive Hashing Parameters for Code Clone Detection Shogo Tokui (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Eunjong Choi (NAIST), Katsuro Inoue (Osaka Univ.) SS2017-74 |
LSH (Locality-Sensitive Hashing) is a near neighbor search algorithm that performs probabilistic hashing of high-dimensi... [more] | SS2017-74 pp.57-62 |
|
| SS | 2018-03-07 12:30 |
Okinawa | Termination Verification of Functional Programs via Regression Prediction of Ranking Function Daiki Muramoto, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) SS2017-75 |
[more] | SS2017-75 pp.63-68 |
|
| SS | 2018-03-07 15:00 |
Okinawa | Suggestion of Test Case Generation Method with Priority Based on Use Case of User for System Test Emi Saito, Ai Toshikuni, Yuichiroh Nakagawa (Hitachi) SS2017-76 |
In embedded systems, developers have a demand to find serious defects early. We suppose that it is serious as defects to... [more] | SS2017-76 pp.69-74 |
|
| SS | 2018-03-07 15:30 |
Okinawa | Uncertainty in Machine Learning Software from Quality Assurance Viewpoints Shin Nakajima (NII) SS2017-77 |
[more] | SS2017-77 pp.75-80 |
|
[Return to Top Page]