|
|
| 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 |
Thu, Mar 10, 2016 09:00 - 16:55
Fri, Mar 11, 2016 09:00 - 14:40 |
| 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) |
Thu, Mar 10 AM
09:00 - 10:15 |
| (1) |
09:00-09:25 |
The patterns and variations found through an analysis of change requirements  SS2015-76 |
Ayaka Kubo, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe (Wakayama Univ.) |
| (2) |
09:25-09:50 |
Analysis on Semantic Orientation of Source Code SS2015-77 |
Akihisa Yamada, Osamu Mizuno (Kyoto Inst. Tech.) |
| (3) |
09:50-10:15 |
A supporting method of specifying scenarios using integrated scenario parts SS2015-78 |
Kohei Takagi, Atsushi Ohnishi (Ritsumeikan U.) |
| |
10:15-10:25 |
Break ( 10 min. ) |
Thu, Mar 10 AM
10:25 - 11:40 |
| (4) |
10:25-10:50 |
On the query preservation for nondeterministic tree transducers SS2015-79 |
Kazuki Miyahara (NAIST), Kenji Hashimoto (Nagoya Univ.), Hiroyuki Seki (NAIST/Nagoya Univ.) |
| (5) |
10:50-11:15 |
An extension of SQL for specifying combinatorial optimization problems SS2015-80 |
Yusaku Uchida, Masahiko Sakai, Naoki Nishida (Nagoya Univ.) |
| (6) |
11:15-11:40 |
Program Verification Using Non-linear Loop Invariants Generated by Partially Applying an Extended Farkas' Lemma SS2015-81 |
Makishi Yanagisawa, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) |
| |
11:40-13:00 |
Break ( 80 min. ) |
Thu, Mar 10 PM
13:00 - 14:40 |
| (7) |
13:00-13:25 |
XQuery Type Inference under Restricted DTDs SS2015-82 |
Kenji Sugimura, Yasunori Ishihara (Osaka Univ.), Kato Hiroyuki (NII), Fujiwara Toru (Osaka Univ.) |
| (8) |
13:25-13:50 |
XQuery optimization by avoiding node sorting and duplicate elimination SS2015-83 |
Yasunori Ishihara (Osaka Univ.), Hiroyuki Kato (NII), Torsten Grust (Universitaet Tuebingen) |
| (9) |
13:50-14:15 |
Introducing and Evaluation of Cleaning Methods into a Code Search and Recommendation Method SS2015-84 |
Takeru Uchiyama (FUN), Toshihiro Kamiya (Shimane Univ.), Ayahiko Niimi (FUN) |
| (10) |
14:15-14:40 |
Using Word2Vec in Localizing Relevant Files for Bug Reports SS2015-85 |
Yukiya Uneno, Osamu Mizuno (Kyoto Inst. Tech.), Eun-Hye Choi (AIST) |
| |
14:40-14:50 |
Break ( 10 min. ) |
Thu, Mar 10 PM
14:50 - 16:55 |
| (11) |
14:50-15:15 |
A Software Energy Analysis Method Using ExecutableUML SS2015-86 |
Ryusuke Yoshimoto, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) |
| (12) |
15:15-15:40 |
Investigation of Differences between Human-Written Patches and Automatically Generated Patches SS2015-87 |
Hiroki Nakajima, Haruki Yokoyama, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| (13) |
15:40-16:05 |
Making Code Clone Benchmark with Integrated Methods SS2015-88 |
Yusuke Yuki, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto (Osaka Univ.) |
| (14) |
16:05-16:30 |
Reducing Reuse Candidates on Reuse-Based Automated Program Repair Using "Freshness" SS2015-89 |
Masahiro Yamamoto, Haruki Yokoyama, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
| (15) |
16:30-16:55 |
CodeConcierge: A Programming Environment Based on Crowd Knowledge SS2015-90 |
Yuta Takahashi, Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.) |
| |
- |
|
Fri, Mar 11 AM
09:00 - 10:15 |
| (16) |
09:00-09:25 |
An Empirical Study of the Severity of Code Smell Using a Refactoring Dataset SS2015-91 |
Tsubasa Saika, Eunjong Choi (Osaka Univ.), Norihiro Yoshida (Nagoya Univ.), Shusuke Haruna, Katsuro Inoue (Osaka Univ.) |
| (17) |
09:25-09:50 |
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture SS2015-92 |
Shota Ishibashi, Kenji Hisazumi, Akira Hukuda (Kyushu Univ.) |
| (18) |
09:50-10:15 |
Development and evaluation of an embedded modeling tool for supporting the modeling education SS2015-93 |
Kaoru Beppu, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) |
| |
10:15-10:25 |
Break ( 10 min. ) |
Fri, Mar 11 AM
10:25 - 13:00 |
| (19) |
10:25-10:50 |
An Empirical Study of Debugging Effectiveness Using Stack Overflow SS2015-94 |
Yuki Ogihara, Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.) |
| (20) |
10:50-11:15 |
A Prioritization of Combinatorial Testing Using Bayesian Inference SS2015-95 |
Shunya Kawabata (Kyoto Inst. Tech.), Eun-Hye Choi (AIST), Osamu Mizuno (Kyoto Inst. Tech.) |
| (21) |
11:15-11:40 |
Preliminary Study of Selective Inlining to Find API Usage Patterns Across Multiple Methods SS2015-96 |
Yuya Aizawsa, Takashi Kobayashi (Tokyo Tech.) |
| |
11:40-13:00 |
Break ( 80 min. ) |
| |
- |
|
Fri, Mar 11 PM
13:00 - 14:40 |
| (22) |
13:00-13:25 |
Correlation analysis between code clone metrics and project data
-- An application on projects developed based on the same specification -- SS2015-97 |
Yoshiki Higo, Hiroaki Murakami, Jiachen Yang, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.), Takeshi Miyake, Takashi Fujinami, Akira Ishibashi, Takashi Hoshino (NTT) |
| (23) |
13:25-13:50 |
Analysis of issues on the activities for bug fixes in open source software development and a proposal of their solutions SS2015-98 |
Takashi Natsume, Hiroshi Sakai (NTT) |
| (24) |
13:50-14:15 |
Code Completion using Machine Learning SS2015-99 |
Tetsuo Yamamoto (Nihon Univ.) |
| (25) |
14:15-14:40 |
Towards Behavior Verification of Estimation of Self-localization in One-dimensional Systems SS2015-100 |
Toshifusa Sekizawa (Nihon Univ.), Kozo Okano (Shinshu 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: 2016-02-25 22:10:34
|
Notification: Mail addresses are partially hidden against SPAM.
|