Tue, Mar 11 AM 10:00 - 13:00 |
(1) |
10:00-10:30 |
An Extension of Alloy with Time Constraints |
Ryota Kuroita, Shoji Yuen (Nagoya Univ.) |
(2) |
10:30-11:00 |
Generation and Verification of Decision Table using SAT Solver |
Shinji Itoh, Naoto Sato, Hidetaka Kondoh, Kunihiko Miyazaki, Hiroki Mori, Makoto Kimura, Kiyoshi Yamaguchi (Hitachi) |
(3) |
11:00-11:30 |
Inverse Unfold Problem and Its Heuristic Solving |
Tomofumi Kato, Masanori Nagashima, Masahiko Sakai, Naoki Nishida (Nagoya Univ.) |
(4) |
11:30-12:00 |
Formal Verification Technique for Consistency Checking between equals and hashCode methods in Java |
Hiroaki Shimba, Hiroki Onoue, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
|
12:00-13:00 |
Break ( 60 min. ) |
Tue, Mar 11 PM 13:00 - 14:45 |
(5) |
13:00-13:30 |
Analyzing Requirememts Sentences for Checking Use Case Descriptions |
Ryotaro Nakamura, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.) |
(6) |
13:30-14:00 |
On Detecting Useless Transition Rules of Constrained Tree Automata |
Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Kenji Hashimoto (Nagoya Univ.) |
(7) |
14:00-14:30 |
Influence of Power-Saving Processor on Power Consumption Model of Android Applications |
Shin Nakajima (NII) |
|
14:30-14:45 |
Break ( 15 min. ) |
Tue, Mar 11 PM 14:45 - 16:15 |
(8) |
14:45-15:15 |
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.) |
(9) |
15:15-15:45 |
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) |
(10) |
15:45-16:15 |
Facilitate Defect Removal Using Static Analysis Tools by introducing competition |
Satoshi Arai (Waseda Univ.), Kazunori Sakamoto (NII), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) |
|
16:15-16:30 |
Break ( 15 min. ) |
Tue, Mar 11 PM 16:30 - 18:00 |
(11) |
16:30-17:00 |
Supporting Task Level Commit Pattern with using Fine-Grained Version History |
Koichi Umekawa, Hiroshi Igaki (Osaka Univ.), Norihiro Yoshida (NAIST), Katsuro Inoue (Osaka Univ.) |
(12) |
17:00-17:30 |
Classification of Commits by Analyzing Identifiers in Source Code |
Kenji Yamauchi, Jiachen Yang, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(13) |
17:30-18:00 |
A change guide tool based on interaction and recommendation history |
Akihiro Yamamori, Takashi Kobayashi (Tokyo Tech.) |
Wed, Mar 12 AM 09:25 - 11:05 |
(14) |
09:25-09:55 |
Metrics of design quality for Simulink model based on cohesion of subsystem |
Yuya Suzuki, Takashi Kobayashi (Tokyo Tech.), Takayuki Kubo (AISIN AW CO., LTD.) |
(15) |
09:55-10:25 |
Execution Trace Abstraction by Dynamic Characteristics of Objects |
Tatsuya Toda (Nagoya Univ.), Takashi Kobayashi (Tokyo Tech.), Noritoshi Atsumi (Nagoya Univ.), Kiyoshi Agusa (Kyoto Univ.) |
(16) |
10:25-10:55 |
Code Completion with Code Clones |
Tomoya Ishihara, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
|
10:55-11:05 |
Break ( 10 min. ) |
Wed, Mar 12 AM 11:05 - 12:35 |
(17) |
11:05-11:35 |
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) |
(18) |
11:35-12:05 |
Design of the DSL-Line Engineering Supporting Environment |
Changyun Huang, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
(19) |
12:05-12:35 |
Evaluation for the Value of Refactoring with Mining Software Repositories |
Shuhei Kimura, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |