Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]
SS2013-72
An Extension of Alloy with Time Constraints
Ryota Kuroita, Shoji Yuen (Nagoya Univ.)
pp. 1 - 6
SS2013-73
Generation and Verification of Decision Table using SAT Solver
Shinji Itoh, Naoto Sato, Hidetaka Kondoh, Kunihiko Miyazaki, Hiroki Mori, Makoto Kimura, Kiyoshi Yamaguchi (Hitachi)
pp. 7 - 11
SS2013-74
Inverse Unfold Problem and Its Heuristic Solving
Tomofumi Kato, Masanori Nagashima, Masahiko Sakai, Naoki Nishida (Nagoya Univ.)
pp. 13 - 18
SS2013-75
Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java
Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.)
pp. 19 - 24
SS2013-76
Analyzing Requirememts Sentences for Checking Use Case Descriptions
Ryotaro Nakamura, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.)
pp. 25 - 30
SS2013-77
On Detecting Useless Transition Rules of Constrained Tree Automata
Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Kenji Hashimoto (Nagoya Univ.)
pp. 31 - 36
SS2013-78
Influence of Power-Saving Processor on Power Consumption Model of Android Applications
Shin Nakajima (NII)
pp. 37 - 42
SS2013-79
A Detection Method for Intended Accessibility Excessiveness in Java Programs Using Design Information
Riku Ohnisi (Osaka Univ.), Kazuo Kobori (NTT DATA), Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 43 - 48
SS2013-80
Toward Efficient Debugging of Unexpected Side-Effects in Framework Applications
Izuru Kume (NAIST), Naoya Nitta (Konan Univ.), Masahide Nakamura (Kobe Univ.), Etsuya Shibayama (Univ. of Tokyo)
pp. 49 - 54
SS2013-81
Facilitate Defect Removal Using Static Analysis Tools by introducing competition
Satoshi Arai (Waseda Univ.), Kazunori Sakamoto (NII), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)
pp. 55 - 60
SS2013-82
Supporting Task Level Commit Pattern with using Fine-Grained Version History
Koichi Umekawa, Hiroshi Igaki (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.)
pp. 61 - 66
SS2013-83
Classification of Commits by Analyzing Identifiers in Source Code
Kenji Yamauchi, Jiachen Yang, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 67 - 72
SS2013-84
A change guide tool based on interaction and recommendation history
Akihiro Yamamori, Takashi Kobayashi (Tokyo Tech.)
pp. 73 - 78
SS2013-85
Metrics of design quality for Simulink model based on cohesion of subsystem
Yuya Suzuki, Takashi Kobayashi (Tokyo Tech.), Takayuki Kubo (AISIN AW CO., LTD.)
pp. 79 - 84
SS2013-86
Execution Trace Abstraction by Dynamic Characteristics of Objects
Tatsuya Toda (Nagoya Univ.), Takashi Kobayashi (Tokyo Tech.), Noritoshi Atsumi (Nagoya Univ.), Kiyoshi Agusa (Kyoto Univ.)
pp. 85 - 90
SS2013-87
Code Completion with Code Clones
Tomoya Ishihara, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 91 - 96
SS2013-88
An Implementation Method of Domain Specific Languages based on Visual Block and their Development Tool
Azusa Kurihara, Akira Sasaki (Hosei Univ.), Ken Wakita (Tokyo Tech)
pp. 97 - 102
SS2013-89
Design of the DSL-Line Engineering Supporting Environment
Changyun Huang, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.)
pp. 103 - 108
SS2013-90
Evaluation for the Value of Refactoring with Mining Software Repositories
Shuhei Kimura, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 109 - 114
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.