Thu, Oct 14 PM 14:00 - 18:00 |
(1) |
14:00-14:30 |
Quality Requirements Analysis using Requirements Frames |
Haruhiko Kaiya (SU), Atsushi Ohnishi (Ritsumeikan U) |
(2) |
14:30-15:00 |
QRAST: Quality Requirements Analysis Support Tool Its Implementation and Evaluation |
Shunichi Suzuki, Mahiro Umemura, Masaaki Tanigawa, Ryou Ogawa, Haruhiko Kaiya, Kenji Kaijiri (SU) |
(3) |
15:00-15:30 |
Component-based goal modeling with formal refinement patterns |
Jun Nomura, Ryoto Naruse (Kyushu Inst. of Tech.), Keiji Hokamura, Naoyasu Ubayashi (Kyushu Univ.), Takahiro Shidai, Akihito Iwai (Denso) |
|
15:30-15:45 |
Break ( 15 min. ) |
(4) |
15:45-16:15 |
Investigation of Relationship between Code Clones and Defect Fixes by Considering Period of Code Existence |
Akira Saito (Osaka Univ.), Norihiro Yoshida (NAIST), Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
(5) |
16:15-16:45 |
An Investigation of Copy-and-paste Reuse between Source Files Distributed under Different Licenses |
Yu Kashima (Osaka Univ.), Yasuhiro Hayase (Toyo Univ.), Norihiro Yoshida (NAIST), Yuki Manabe, Katsuro Inoue (Osaka Univ.) |
|
16:45-17:00 |
Break ( 15 min. ) |
(6) |
17:00-18:00 |
[Invited Talk]
A Survey on Advanced Automated Equational Theorem Proving Systems |
Koji Iwanuma (Univ. Yamanashi) |
Fri, Oct 15 AM 09:45 - 12:30 |
(7) |
09:45-10:15 |
Automatic Test Case Generation for Integration Testing |
Haruto Tanno, Xiaojing Zhang, Takashi Hoshino (NTT) |
(8) |
10:15-10:45 |
On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data |
Junya Debari, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi (OKI), Masayuki Hirayama (IPA/SEC) |
|
10:45-11:00 |
Break ( 15 min. ) |
(9) |
11:00-11:30 |
On DPLL Transition Systems Modulo Equational Theories |
Tatsuya Baba, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari, Masahiko Sakai (Nagoya Univ.) |
(10) |
11:30-12:00 |
On Turing Completness of an Esoteric Language, Malbolge |
Satoshi Nagasaka, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
(11) |
12:00-12:30 |
An analysis of copied&pasted code fragments on code repository of FreeBSD |
Toshihiro Kamiya (Fun) |