Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2017-03-09 09:30 |
Okinawa |
|
A Symbolic Simulation of Dense-Timed Pushdown Automata with Clock Freezing Sho Hiraoka, Shoji Yuen (Nagoya Univ.) SS2016-60 |
We present a symbolic simulation based on a zone construction for the dense timed pushdown automata with clock freezing(... [more] |
SS2016-60 pp.1-6 |
SS |
2017-03-09 09:55 |
Okinawa |
|
Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-61 |
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] |
SS2016-61 pp.7-12 |
SS |
2017-03-09 10:20 |
Okinawa |
|
Debugging Pure Strategy Games Shin Nakajima (NII) SS2016-62 |
[more] |
SS2016-62 pp.13-18 |
SS |
2017-03-09 11:00 |
Okinawa |
|
Akito Tanikado, Haruki Yokoyama, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2016-63 |
(To be available after the conference date) [more] |
SS2016-63 pp.19-24 |
SS |
2017-03-09 11:25 |
Okinawa |
|
A study of Relationship between Java Method Name and Implementation toward Buggy Method Prediction Sho Suzuki, Hirohisa Aman, Minoru Kawahara (Ehime Univ.) SS2016-64 |
This paper focuses on names of Java methods and their implementations for evaluating source code quality.
A first word ... [more] |
SS2016-64 pp.25-30 |
SS |
2017-03-09 11:50 |
Okinawa |
|
Equivalence Checking for Methods in Java and Its Applications Kozo Okano (Shinshu Univ.), Satoshi Harauchi (Mitsubishi Electric Corp.), Shinpei Ogata (Shinshu Univ.), Toshifusa Sekizawa (Nihon Univ.), Takeshi Obara (Shinshu Univ.) SS2016-65 |
A programmer sometimes implements both of equals method and hashCode method in a class of Java. The programmer should ob... [more] |
SS2016-65 pp.31-36 |
SS |
2017-03-09 13:45 |
Okinawa |
|
Extending Git Client for Retrieving Development History using Source Code Context Miwa Sasaki, Naoto Ogura, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) SS2016-66 |
(To be available after the conference date) [more] |
SS2016-66 pp.37-42 |
SS |
2017-03-09 14:10 |
Okinawa |
|
SS2016-67 |
(To be available after the conference date) [more] |
SS2016-67 pp.43-48 |
SS |
2017-03-09 14:35 |
Okinawa |
|
SS2016-68 |
(To be available after the conference date) [more] |
SS2016-68 pp.49-54 |
SS |
2017-03-09 15:00 |
Okinawa |
|
A Trial of Traceability Visualization Tool for Information Seeking in Middle-Large-Scaled Open Source Software Shu Kutsuzawa (Gakugei Univ), Hiroaki Hashiura (NIT), Atsuo Hazeyama (Gakugei Univ), Hironori Washizaki (Waseda Univ) SS2016-69 |
In recent years, everyone has been able to contribute to interested programs by the birth of social coding tools such as... [more] |
SS2016-69 pp.55-60 |
SS |
2017-03-09 15:40 |
Okinawa |
|
On the Use of Variation Points with Preprocessor Directives in Co-change Rule Mining Tatsuya Mori, Takashi Kobayashi, Shinpei Hayashi (Tokyo Tech), Noritoshi Atsumi (Kyoto U.) SS2016-70 |
(To be available after the conference date) [more] |
SS2016-70 pp.61-66 |
SS |
2017-03-09 16:05 |
Okinawa |
|
A Study on Source Code Search and Classification using Distributed Representations Tetsuo Yamamoto (Nihon Univ.) SS2016-71 |
(To be available after the conference date) [more] |
SS2016-71 pp.67-72 |
SS |
2017-03-09 16:30 |
Okinawa |
|
Analysis of Relation Betweeen on Changes Content and Code Dependency Yuki Ueda, Toshihiro Kamiya (Shimane Univ) SS2016-72 |
A change impact analysis is one of analytical methods
to predict the source files that are depending on some of changed... [more] |
SS2016-72 pp.73-78 |
SS |
2017-03-09 16:55 |
Okinawa |
|
An Investigation of Extract Method to Construct Prediction Model Based on Process Metrics Daiki Tanaka, Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Kenji Fujiwara (NITTC), Hajimu Iida (NAIST) SS2016-73 |
[more] |
SS2016-73 pp.79-84 |
SS |
2017-03-10 09:15 |
Okinawa |
|
Detecting Anormal Power Consumption in a Concurrent of Android Application Takahiro Inagaki, Shoji Yuen (Nagoya Univ.) SS2016-74 |
We propose a method for an automatic detection of the power consumption problem in concurrent execution of Android appli... [more] |
SS2016-74 pp.85-90 |
SS |
2017-03-10 09:40 |
Okinawa |
|
System Identification Method by Real-Time Calculus for Response Time Smoothing Reiya Okamoto, Akio Nakata (Hiroshima City Univ) SS2016-75 |
In real time systems, it is often required to smoothen the response times. However, when many input events occur within ... [more] |
SS2016-75 pp.91-96 |
SS |
2017-03-10 10:05 |
Okinawa |
|
Multitask Scheduling Method for Reducing Total Heap Memory Usage under Deadline Constraints Yuto Suzuki, Akio Nakata (Hiroshima City Univ.) SS2016-76 |
Multitasking systems, often used in embedded software, require in general larger memory footprint than single tasking sy... [more] |
SS2016-76 pp.97-102 |
SS |
2017-03-10 10:45 |
Okinawa |
|
Proving Confluence of Hierarchical Conditional Term Rewriting Systems without Sufficient Completeness Takayuki Kuroda, Naoki Nishida, Hiroyuki Seki (Nagoya Univ.) SS2016-77 |
A transformational approach to confluence proofs for conditional term rewriting systems (CTRS) has been investigated, bu... [more] |
SS2016-77 pp.103-108 |
SS |
2017-03-10 11:10 |
Okinawa |
|
Sufficient Conditions for the Decidability of Query Preservation of Non-Linear Topdown Tree Transducers Taka Ishihara, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) SS2016-78 |
Query preservation means that, for given transformation and query, there is some query for transformed data such that on... [more] |
SS2016-78 pp.109-114 |
SS |
2017-03-10 11:35 |
Okinawa |
|
Approximation of Multitask System Specification by Task Merging for Efficiency Improvement of Performance Verification Kazuma Hashimoto, Akio Nakata (Hiroshima City Univ.) SS2016-79 |
In the development of embedded software which requires high reliability satisfaction and performance of hard requirement... [more] |
SS2016-79 pp.115-120 |