Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2013] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [Japanese] / [English]
SS2016-60
A Symbolic Simulation of Dense-Timed Pushdown Automata with Clock Freezing
Sho Hiraoka, Shoji Yuen (Nagoya Univ.)
pp. 1 - 6
SS2016-61
Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting
Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.)
pp. 7 - 12
SS2016-62
Debugging Pure Strategy Games
Shin Nakajima (NII)
pp. 13 - 18
SS2016-63
Akito Tanikado, Haruki Yokoyama, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 19 - 24
SS2016-64
A study of Relationship between Java Method Name and Implementation toward Buggy Method Prediction
Sho Suzuki, Hirohisa Aman, Minoru Kawahara (Ehime Univ.)
pp. 25 - 30
SS2016-65
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.)
pp. 31 - 36
SS2016-66
Extending Git Client for Retrieving Development History using Source Code Context
Miwa Sasaki, Naoto Ogura, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
pp. 37 - 42
SS2016-67
(See Japanese page.)
pp. 43 - 48
SS2016-68
(See Japanese page.)
pp. 49 - 54
SS2016-69
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)
pp. 55 - 60
SS2016-70
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.)
pp. 61 - 66
SS2016-71
A Study on Source Code Search and Classification using Distributed Representations
Tetsuo Yamamoto (Nihon Univ.)
pp. 67 - 72
SS2016-72
Analysis of Relation Betweeen on Changes Content and Code Dependency
Yuki Ueda, Toshihiro Kamiya (Shimane Univ)
pp. 73 - 78
SS2016-73
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)
pp. 79 - 84
SS2016-74
Detecting Anormal Power Consumption in a Concurrent of Android Application
Takahiro Inagaki, Shoji Yuen (Nagoya Univ.)
pp. 85 - 90
SS2016-75
System Identification Method by Real-Time Calculus for Response Time Smoothing
Reiya Okamoto, Akio Nakata (Hiroshima City Univ)
pp. 91 - 96
SS2016-76
Multitask Scheduling Method for Reducing Total Heap Memory Usage under Deadline Constraints
Yuto Suzuki, Akio Nakata (Hiroshima City Univ.)
pp. 97 - 102
SS2016-77
Proving Confluence of Hierarchical Conditional Term Rewriting Systems without Sufficient Completeness
Takayuki Kuroda, Naoki Nishida, Hiroyuki Seki (Nagoya Univ.)
pp. 103 - 108
SS2016-78
Sufficient Conditions for the Decidability of Query Preservation of Non-Linear Topdown Tree Transducers
Taka Ishihara, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)
pp. 109 - 114
SS2016-79
Approximation of Multitask System Specification by Task Merging for Efficiency Improvement of Performance Verification
Kazuma Hashimoto, Akio Nakata (Hiroshima City Univ.)
pp. 115 - 120
SS2016-80
Specifying Narratology by Using Software Modeling Perspectives
Minako Ooki, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe (Wakayama Univ.)
pp. 121 - 126
SS2016-81
(See Japanese page.)
pp. 127 - 132
SS2016-82
An Empirical Analysis of Uncertainty in OSS projects
-- When and Why does Uncertainty Appear or Disappear? --
Hokuto Muraoka, Takuya Fukamachi, Kazuhiro Yamashita, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)
pp. 133 - 138
SS2016-83
Evaluation of a Security Requirement Analysis Support System using Software Security Knowledge Base
Atsuo Hazeyama, Shunichi Tanaka (Tokyo Gakugei Univ.), Takafumi Tanaka (TUAT), Seiji Munetoh (IBM Japan), Takao Okubo (IISEC)
pp. 139 - 144
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.