Mon, Mar 4 AM 09:25 - 11:15 |
(1) |
09:25-09:50 |
Behavioral Verification of Yampa Programs in a Discrete Runtime Environment using Uppaal |
Riku Nakane, Shoji Yuen (Nagoya Univ.) |
(2) |
09:50-10:15 |
Congruence property of reversible process calculus with time |
Satoru Yamamoto, Shoji Yuen (Nagoya Univ.) |
(3) |
10:15-10:40 |
Statistical model checking of hybrid systems with Acumen |
Kosuke Inoue, Daisuke Ishii (Fukui Univ.) |
(4) |
10:40-11:05 |
An improved LLF scheduling for reducing heap memory consumption in multiprocessor real-time system by considering laxity time |
Yuki Machigashira, Akio Nakata (Hirosima City Univ.) |
|
11:05-11:15 |
Break ( 10 min. ) |
Mon, Mar 4 AM 11:15 - 12:30 |
(5) |
11:15-11:40 |
|
|
(6) |
11:40-12:05 |
|
|
(7) |
12:05-12:30 |
|
Junnosuke Matsumoto, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
|
12:30-13:30 |
Lunch Break ( 60 min. ) |
Mon, Mar 4 PM 13:30 - 15:20 |
(8) |
13:30-13:55 |
Ripple effect analysis method of data flow requirements |
BUI Do Tien Hung, Takayuki Omori, Atsushi Ohnishi (Ritsumeikan Univ.) |
(9) |
13:55-14:20 |
Proposal of a test description support environment for request acquisition in web application development |
Yoshitake Nakaji, Choi Eunjong (NAIST), Norihiro Yoshida (Nagoya Univ.), Hajimu Iida (NAIST) |
(10) |
14:20-14:45 |
Preliminary Evaluation of a Support Tool for Reuse of Software Patterns in Conceptual Modeling |
Ken Akagi, Hiroaki Hashiura (NIT), Yasufumi Tanaka (TUAT), Atsuo Hazeyama (TGU), Hiroshi Takase (NIT) |
(11) |
14:45-15:10 |
Machine learning based requirements description analysis technique for creating backlogs |
Ryo Ishizuka, Hironori Washizaki (Waseda Univ.), Shinobu Saito, saori ouji (NTT SIC) |
|
15:10-15:20 |
Break ( 10 min. ) |
Mon, Mar 4 PM 15:20 - 16:45 |
(12) |
15:20-15:45 |
|
|
(13) |
15:45-16:10 |
|
|
(14) |
16:10-16:35 |
Effects of rule aggregation and ranking method on change history analysis based error prevention methods |
Yoshiya Ishida, Takashi Kobayashi (Tokyo Tech.) |
|
16:35-16:45 |
Break ( 10 min. ) |
Mon, Mar 4 PM 16:45 - 18:00 |
(15) |
16:45-17:10 |
SQL queries for generating input constraints of SMT solvers from descriptions of combinatorial optimization problems |
Genki Sakanashi, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.) |
(16) |
17:10-17:35 |
Formal STAMP Modelling toward Safety Verification of Hybrid Systems |
Mitsuaki Tsuji, Toshinori Takai (NAIST), Masafumi Katahira, Naoki Ishihama (JAXA), Kazuki Kakimoto, Hajimu Iida (NAIST) |
(17) |
17:35-18:00 |
Dynamic information leakage analysis and adaptive input optimization |
Tatsuya Miwa, Hiroyuki Seki (Nagoya Univ.) |
Tue, Mar 5 AM 09:00 - 10:25 |
(18) |
09:00-09:25 |
|
Masayuki Doi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(19) |
09:25-09:50 |
|
Tasuku Nakagawa, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(20) |
09:50-10:15 |
A system for visualizing clone evolution to support clone maintenance |
Hirotaka Honda, Shogo Tokui, Kazuki Yokoi (Osaka Univ.), Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Katsuro Inoue (Osaka Univ.) |
|
10:15-10:25 |
Break ( 10 min. ) |
Tue, Mar 5 AM 10:25 - 11:40 |
(21) |
10:25-10:50 |
A Study on Similarity of Modifications to Technical Debt Focusing on Source Code Comments |
Saki Okajima, Tetsuya Kanda, Katsuro Inoue (Osaka Univ.) |
(22) |
10:50-11:15 |
|
|
(23) |
11:15-11:40 |
Effcient source code search using Bloom filter capable of detecting similar elements |
Hiroki Sakai (Osaka Univ.), Takashi Ishio (NAIST), Katsuri Inoue (Osaka Univ.) |
|
11:40-13:10 |
Lunch Break ( 90 min. ) |
Tue, Mar 5 PM 13:10 - 15:00 |
(24) |
13:10-13:35 |
Attempt of ScreenTransition Test with Appropriate Granularity in Test Script Automatic Generation |
Toshiyuki Kurabayashi, Hiroyuki Kirinuki, Yu Yoshimura, Yu Adachi, Haruto Tanno (NTT) |
(25) |
13:35-14:00 |
Stepwise detection of image differences using screen elements in UI Layout Testing |
Yu Yoshimura, Yu Adachi, Haruto Tanno (NTT) |
(26) |
14:00-14:25 |
Computational work analysis technique by system operation log and image data for comprehending business processes |
Saori Ouji, Shinobu Saito, Gengo Suzuki (NTT SIC) |
(27) |
14:25-14:50 |
An Approach of Sharing Software Modification to Adopt Library Evolution |
Noritoshi Atsumi (Kyoto Univ.), Hiroaki Kuwabara (Nanzan Univ.) |
|
14:50-15:00 |
Break ( 10 min. ) |
Tue, Mar 5 PM 15:00 - 16:25 |
(28) |
15:00-15:25 |
Quality Evaluation Asssurance Levels for Machine Learning Software |
Shin Nakajima (NII), Yoshiki Seo, Yutaka Oiwa, Yoshinao Isobe (AIST) |
(29) |
15:25-15:50 |
Automatic Repair of Conditional Expressions for Functional Programs by Using Counterexamples |
Ken Matsui, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) |
(30) |
15:50-16:15 |
|
() |
|
16:15-16:25 |
Break ( 10 min. ) |
Tue, Mar 5 PM 16:25 - 17:40 |
(31) |
16:25-16:50 |
|
|
(32) |
16:50-17:15 |
Towards a development of multiplayer coloring game to cultivate Computational Thinking |
Kakuto Koja, Hiroshi Igaki (OIT) |
(33) |
17:15-17:40 |
Towards automatic bug repair for enterprise source code files |
Sho Ikeda, Daito Nakano, Yasutaka Kamei, Ryosuke Sato, Naoyasu Ubayashi (Kyushu Univ.), Hiroshi Yoshitake, Hirofumi Yagawa (QNET) |