Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [Japanese] / [English]
SS2014-55
Sufficient completeness of constructor-based order-sorted parameterized specifications
Masaki Nakamura (Toyama Pref. Univ.), Daniel Mircea Gaina, Kazuhiro Ogata, Kokichi Futatsugi (JAIST)
pp. 1 - 6
SS2014-56
Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior
Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki (Tokyo Tech)
pp. 7 - 12
SS2014-57
SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs
Si-Mohamed Lamraoui, Shin Nakajima (NII)
pp. 13 - 18
SS2014-58
Implementation and Evaluation of Fault Localization Technique based on Occurrence of Dynamic Data Dependencies
Mizuki Nakano, Shunsuke Ohnuma, Takashi Kobayashi (Tokyo Tech.), Takashi Ishio (Osaka Univ.)
pp. 19 - 24
SS2014-59
Abstraction-Aware Data Flow Traceability
Zhongxiao Guo, Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yuning Li, Takuya Fukamachi, Shintaro Hosoai, Yasutaka Kamei (kyushu univ.)
pp. 25 - 30
SS2014-60
Certifying Low Level Code for The Task-Control in Toppers/SSP Kernel
Mitsuru Arakawa, Shoji Yuen (Nagoya Univ..)
pp. 31 - 36
SS2014-61
Statistical Model Checking with Adaptive Importance Sampling
Yu Nishiki, Shoji Yuen (Nagoya Univ)
pp. 37 - 42
SS2014-62
Removing Possibility of Ambiguous Message Ordering in Sequence Diagram
Noa Kusunoki, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 43 - 48
SS2014-63
A Verification Method of the Correctness of Non-functional Requirements using extended Requirements Frame Model
Yuuma Matsumoto, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 49 - 54
SS2014-64
Coli: A Social Network Mining Tool for Analyzing the Society of OSS Projects
Sekio Kawashima, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
pp. 55 - 60
SS2014-65
Suggestion of the source code reuse analysis technique in multiple projects based on the clone genealogy
Takuya Moriwaki, Keisuke Hotta, Hiroshi Igaki, Katsuro Inoue, Shinji Kusumoto (Osaka Univ.)
pp. 61 - 66
SS2014-66
Recommending Source Code Modifications by Using Association Rule Mining
Hiroyuki Kirinuki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 67 - 72
SS2014-67
Effects of the recency and large commits on change guide method based on version history analysis
Tatsuya Mori, Anders Mikael Hagward, Takashi Kobayashi (Tokyo Tech.)
pp. 73 - 78
SS2014-68
An Approach for Abbreviated Identifier Expansion with Machine Learning
Hideki Okajima, Osamu Mizuno (Kyoto Inst. Tech.)
pp. 79 - 84
SS2014-69
A Heuristic to Solve Inverse Unfolding Problem for Functions Dealing with Tree Structure Data
Tomofumi Kato, Masanori Nagashima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe (Nagoya Univ.)
pp. 85 - 90
SS2014-70
Heuristics for Automatically Proving Commutativity of Function Composition for Constrained Term Rewriting Systems
Ryutaro Kuriki, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.)
pp. 91 - 96
SS2014-71
Integrating Online Presentation and Courseware Production to Support Higher Education on the WebELS Platform
Mohamed Osamnia (SOKENDAI), Arjulie John Berena, Hitoshi Okada, Haruki Ueno (NII)
pp. 97 - 102
SS2014-72
Cause Analysis of transition in the Accessibility Excessiveness of using a Development History of Java Programs
Riku Ohnisi (Osaka Univ.), Kazuo Kobori (NTT DATA), Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 103 - 108
SS2014-73
A Code Review Method with Def-use Graph of Single Variable
Daisuke Kato, Yoshinari Hachisu, Atsushi Yoshida, Kiyoshi Agusa (Nanzan Univ.)
pp. 109 - 114
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.