IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 115, Number 508

Software Science

Workshop Date : 2016-03-10 - 2016-03-11 / Issue Date : 2016-03-03

[PREV] [NEXT]

[TOP] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [2018] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

SS2015-76
The patterns and variations found through an analysis of change requirements
Ayaka Kubo, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe (Wakayama Univ.)
pp. 1 - 5

SS2015-77
Analysis on Semantic Orientation of Source Code
Akihisa Yamada, Osamu Mizuno (Kyoto Inst. Tech.)
pp. 7 - 12

SS2015-78
A supporting method of specifying scenarios using integrated scenario parts
Kohei Takagi, Atsushi Ohnishi (Ritsumeikan U.)
pp. 13 - 18

SS2015-79
On the query preservation for nondeterministic tree transducers
Kazuki Miyahara (NAIST), Kenji Hashimoto (Nagoya Univ.), Hiroyuki Seki (NAIST/Nagoya Univ.)
pp. 19 - 24

SS2015-80
An extension of SQL for specifying combinatorial optimization problems
Yusaku Uchida, Masahiko Sakai, Naoki Nishida (Nagoya Univ.)
pp. 25 - 30

SS2015-81
Program Verification Using Non-linear Loop Invariants Generated by Partially Applying an Extended Farkas' Lemma
Makishi Yanagisawa, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
pp. 31 - 36

SS2015-82
XQuery Type Inference under Restricted DTDs
Kenji Sugimura, Yasunori Ishihara (Osaka Univ.), Kato Hiroyuki (NII), Fujiwara Toru (Osaka Univ.)
pp. 37 - 42

SS2015-83
XQuery optimization by avoiding node sorting and duplicate elimination
Yasunori Ishihara (Osaka Univ.), Hiroyuki Kato (NII), Torsten Grust (Universitaet Tuebingen)
pp. 43 - 48

SS2015-84
Introducing and Evaluation of Cleaning Methods into a Code Search and Recommendation Method
Takeru Uchiyama (FUN), Toshihiro Kamiya (Shimane Univ.), Ayahiko Niimi (FUN)
pp. 49 - 54

SS2015-85
Using Word2Vec in Localizing Relevant Files for Bug Reports
Yukiya Uneno, Osamu Mizuno (Kyoto Inst. Tech.), Eun-Hye Choi (AIST)
pp. 55 - 60

SS2015-86
A Software Energy Analysis Method Using ExecutableUML
Ryusuke Yoshimoto, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
pp. 61 - 66

SS2015-87
Investigation of Differences between Human-Written Patches and Automatically Generated Patches
Hiroki Nakajima, Haruki Yokoyama, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 67 - 72

SS2015-88
Making Code Clone Benchmark with Integrated Methods
Yusuke Yuki, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto (Osaka Univ.)
pp. 73 - 78

SS2015-89
Reducing Reuse Candidates on Reuse-Based Automated Program Repair Using "Freshness"
Masahiro Yamamoto, Haruki Yokoyama, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 79 - 84

SS2015-90
CodeConcierge: A Programming Environment Based on Crowd Knowledge
Yuta Takahashi, Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.)
pp. 85 - 90

SS2015-91
An Empirical Study of the Severity of Code Smell Using a Refactoring Dataset
Tsubasa Saika, Eunjong Choi (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Shusuke Haruna, Katsuro Inoue (Osaka Univ.)
pp. 91 - 96

SS2015-92
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture
Shota Ishibashi, Kenji Hisazumi, Akira Hukuda (Kyushu Univ.)
pp. 97 - 102

SS2015-93
Development and evaluation of an embedded modeling tool for supporting the modeling education
Kaoru Beppu, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)
pp. 103 - 108

SS2015-94
An Empirical Study of Debugging Effectiveness Using Stack Overflow
Yuki Ogihara, Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.)
pp. 109 - 114

SS2015-95
A Prioritization of Combinatorial Testing Using Bayesian Inference
Shunya Kawabata (Kyoto Inst. Tech.), Eun-Hye Choi (AIST), Osamu Mizuno (Kyoto Inst. Tech.)
pp. 115 - 120

SS2015-96
Preliminary Study of Selective Inlining to Find API Usage Patterns Across Multiple Methods
Yuya Aizawsa, Takashi Kobayashi (Tokyo Tech.)
pp. 121 - 126

SS2015-97
Correlation analysis between code clone metrics and project data -- An application on projects developed based on the same specification --
Yoshiki Higo, Hiroaki Murakami, Jiachen Yang, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.), Takeshi Miyake, Takashi Fujinami, Akira Ishibashi, Takashi Hoshino (NTT)
pp. 127 - 132

SS2015-98
Analysis of issues on the activities for bug fixes in open source software development and a proposal of their solutions
Takashi Natsume, Hiroshi Sakai (NTT)
pp. 133 - 138

SS2015-99
Code Completion using Machine Learning
Tetsuo Yamamoto (Nihon Univ.)
pp. 139 - 144

SS2015-100
Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems
Toshifusa Sekizawa (Nihon Univ.), Kozo Okano (Shinshu Univ.)
pp. 145 - 150

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan