Thu, Oct 24 AM 10:30 - 11:30 |
(1) SS |
10:30-10:50 |
Symbolic Model Checking of Embedded CISC Assembly Program |
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 -- |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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? |
Xiaojing Zhang, Haruto Tanno, Takashi Hoshino (NTT) |
(27) SS |
14:10-14:30 |
And/Or/Call Graph and Its Application to Source-Code Search |
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 |
|