|
|
| Chair |
|
Shin Nakajima (NII) |
| Vice Chair |
|
Shoji Yuen (Nagoya Univ.) |
| Secretary |
|
Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.) |
| Assistant |
|
Takashi Kobayashi (Tokyo Inst. of Tech.) |
|
| Conference Date |
Thu, Oct 24, 2013 10:30 - 17:55
Fri, Oct 25, 2013 10:15 - 16:15 |
| 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, Oct 24 AM
10:30 - 11:30 |
(1)
SS |
10:30-10:50 |
Symbolic Model Checking of Embedded CISC Assembly Program  SS2013-36 |
Kenta Watanabe, Hyejin Jang, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) |
(2)
SS |
10:50-11:10 |
Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking
-- Generating the Model Automatically by Simulation -- SS2013-37 |
Ryosuke Konoshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) |
(3)
SS |
11:10-11:30 |
Design and Implementation of a Framework for API-Based Language Extension via Rule-Based Rewriting utilizing COINS SS2013-38 |
Takuya Shiode, Hideyuki Kawabata, Toshiaki Kitamura (Hiroshima City Univ.) |
Thu, Oct 24 AM
11:30 - 12:30 |
| (4) |
11:30-11:50 |
|
| (5) |
11:50-12:10 |
|
| (6) |
12:10-12:30 |
|
Thu, Oct 24 PM
13:30 - 15:30 |
(7)
SS |
13:30-13:50 |
A Study on Software Maintainability Evaluation using the Directed Graph Analysis SS2013-39 |
Mitsuhiro Nakamura (Fujitsu/Yokohama National Univ.), Reiko Kinomoto, Hisaaki Nakajima (Fujitsu), Tomoki Hamagami (Yokohama National Univ.) |
(8)
SS |
13:50-14:10 |
A representation of relationships between functions and variables in source code SS2013-40 |
Yamato Takahashi, Kazuya Fukuhara, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Prefectural Univ.) |
(9)
SS |
14:10-14:30 |
A visualization method of relationships between functions and variables for a code review system SS2013-41 |
Kazuya Fukuhara, Yamato Takahashi, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Prefectural Univ.) |
(10)
SS |
14:30-14:50 |
Searching code fragments based on past reuse SS2013-42 |
Tomoya Ishihara, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(11)
SS |
14:50-15:10 |
partitioning commits using data dependency among variables in source code SS2013-43 |
Hiroyuki Kirinuki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(12)
SS |
15:10-15:30 |
Implementing Caching Mechanism to Improve Efficiency of Service-Oriented Mining Software Repository SS2013-44 |
Yasutaka Sakamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
Thu, Oct 24 PM
15:40 - 17:40 |
| (13) |
15:40-16:00 |
|
| (14) |
16:00-16:20 |
|
| (15) |
16:20-16:40 |
|
| (16) |
16:40-17:00 |
|
| (17) |
17:00-17:20 |
|
| (18) |
17:20-17:40 |
|
Thu, Oct 24 PM
17:40 - 17:55 |
| (19) |
17:40-17:55 |
|
Fri, Oct 25 AM
10:15 - 11:00 |
| (20) |
10:15-11:00 |
|
Fri, Oct 25 AM
11:10 - 12:30 |
| (21) |
11:10-11:30 |
|
| (22) |
11:30-11:50 |
|
| (23) |
11:50-12:10 |
|
| (24) |
12:10-12:30 |
|
Fri, Oct 25 PM
13:30 - 14:30 |
(25)
SS |
13:30-13:50 |
Efficient random test case generation for constrained interaction testing SS2013-45 |
Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) |
(26)
SS |
13:50-14:10 |
Test Case Generation Based on Design Document: Can We Integrate the Technology into Traditional Development Process? SS2013-46 |
Xiaojing Zhang, Haruto Tanno, Takashi Hoshino (NTT) |
(27)
SS |
14:10-14:30 |
And/Or/Call Graph and Its Application to Source-Code Search SS2013-47 |
Toshihiro Kamiya (Future Univ. Hakodate) |
Fri, Oct 25 PM
14:40 - 16:15 |
| (28) |
14:40-15:00 |
|
| (29) |
15:00-15:20 |
|
| (30) |
15:20-15:40 |
|
| (31) |
15:40-16:00 |
|
| (32) |
16:00-16:15 |
|
| Announcement for Speakers |
| General Talk | Each speech will have 15 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 |
Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E- :          |
| Announcement |
Latest information will be presented on the homepage
http://www.washi.cs.waseda.ac.jp/sigss/ |
| IPSJ-SE |
Special Interest Group on Software Engineering (IPSJ-SE) [Latest Schedule]
|
| Contact Address |
|
Last modified: 2013-10-12 00:24:23
|