|
|
| Chair |
|
Shoji Yuen (Nagoya Univ.) |
| Vice Chair |
|
Kazuhiro Ogata (JAIST) |
| Secretary |
|
Takashi Kobayashi (Tokyo Inst. of Tech.), Hironobu Washizaki (Waseda Univ.) |
| Assistant |
|
Yoshiki Higo (Osaka Univ.) |
|
| Conference Date |
Mon, Mar 9, 2015 09:30 - 17:00
Tue, Mar 10, 2015 09:30 - 11:50 |
| Topics |
|
| Conference Place |
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Mon, Mar 9 AM
09:30 - 10:45 |
| (1) |
09:30-09:55 |
Sufficient completeness of constructor-based order-sorted parameterized specifications  SS2014-55 |
Masaki Nakamura (Toyama Pref. Univ.), Daniel Mircea Gaina, Kazuhiro Ogata, Kokichi Futatsugi (JAIST) |
| (2) |
09:55-10:20 |
Reactive System Synthesis with Tolerance for Unexpected Environmental Behavior SS2014-56 |
Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki (Tokyo Tech) |
| (3) |
10:20-10:45 |
SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs SS2014-57 |
Si-Mohamed Lamraoui, Shin Nakajima (NII) |
| |
10:45-11:00 |
Break ( 15 min. ) |
Mon, Mar 9 AM
11:00 - 11:50 |
| (4) |
11:00-11:25 |
Abstraction-Aware Data Flow Traceability SS2014-59 |
Zhongxiao Guo, Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yuning Li, Takuya Fukamachi, Shintaro Hosoai, Yasutaka Kamei (kyushu univ.) |
| (5) |
11:25-11:50 |
Implementation and Evaluation of Fault Localization Technique based on Occurrence of Dynamic Data Dependencies SS2014-58 |
Mizuki Nakano, Shunsuke Ohnuma, Takashi Kobayashi (Tokyo Tech.), Takashi Ishio (Osaka Univ.) |
| |
11:50-13:00 |
Break ( 70 min. ) |
Mon, Mar 9 PM
13:00 - 14:40 |
| (6) |
13:00-13:25 |
Certifying Low Level Code for The Task-Control in Toppers/SSP Kernel SS2014-60 |
Mitsuru Arakawa, Shoji Yuen (Nagoya Univ..) |
| (7) |
13:25-13:50 |
Statistical Model Checking with Adaptive Importance Sampling SS2014-61 |
Yu Nishiki, Shoji Yuen (Nagoya Univ) |
| (8) |
13:50-14:15 |
Removing Possibility of Ambiguous Message Ordering in Sequence Diagram SS2014-62 |
Noa Kusunoki, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
| (9) |
14:15-14:40 |
A Verification Method of the Correctness of Non-functional Requirements using extended Requirements Frame Model SS2014-63 |
Yuuma Matsumoto, Atsushi Ohnishi (Ritsumeikan Univ.) |
| |
14:40-14:55 |
Break ( 15 min. ) |
Mon, Mar 9 PM
14:55 - 17:00 |
| (10) |
14:55-15:20 |
Coli: A Social Network Mining Tool for Analyzing the Society of OSS Projects SS2014-64 |
Sekio Kawashima, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |
| (11) |
15:20-15:45 |
Suggestion of the source code reuse analysis technique in multiple projects based on the clone genealogy SS2014-65 |
Takuya Moriwaki, Keisuke Hotta, Hiroshi Igaki, Katsuro Inoue, Shinji Kusumoto (Osaka Univ.) |
| (12) |
15:45-16:10 |
Recommending Source Code Modifications by Using Association Rule Mining SS2014-66 |
Hiroyuki Kirinuki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| (13) |
16:10-16:35 |
Effects of the recency and large commits on change guide method based on version history analysis SS2014-67 |
Tatsuya Mori, Anders Mikael Hagward, Takashi Kobayashi (Tokyo Tech.) |
| (14) |
16:35-17:00 |
An Approach for Abbreviated Identifier Expansion with Machine Learning SS2014-68 |
Hideki Okajima, Osamu Mizuno (Kyoto Inst. Tech.) |
Tue, Mar 10 AM
09:30 - 10:20 |
| (15) |
09:30-09:55 |
A Heuristic to Solve Inverse Unfolding Problem for Functions Dealing with Tree Structure Data SS2014-69 |
Tomofumi Kato, Masanori Nagashima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe (Nagoya Univ.) |
| (16) |
09:55-10:20 |
Heuristics for Automatically Proving Commutativity of Function Composition for Constrained Term Rewriting Systems SS2014-70 |
Ryutaro Kuriki, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) |
| |
10:20-10:35 |
Break ( 15 min. ) |
Tue, Mar 10 AM
10:35 - 11:50 |
| (17) |
10:35-11:00 |
Integrating Online Presentation and Courseware Production to Support Higher Education on the WebELS Platform SS2014-71 |
Mohamed Osamnia (SOKENDAI), Arjulie John Berena, Hitoshi Okada, Haruki Ueno (NII) |
| (18) |
11:00-11:25 |
Cause Analysis of transition in the Accessibility Excessiveness of using a Development History of Java Programs SS2014-72 |
Riku Ohnisi (Osaka Univ.), Kazuo Kobori (NTT DATA), Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
| (19) |
11:25-11:50 |
A Code Review Method with Def-use Graph of Single Variable SS2014-73 |
Daisuke Kato, Yoshinari Hachisu, Atsushi Yoshida, Kiyoshi Agusa (Nanzan Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Takashi Kobayashi (Tokyo Insitute of Technology)
TEL: 03-5734-3471
FAX: 03-5734-3471
E- : t ba       |
| Announcement |
Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/ |
Last modified: 2015-02-25 13:56:39
|