===============================================
Technical Committee on Software Science (SS)
Chair: Akio Nakata (Hiroshima City Univ.) Vice Chair: Takashi Kobayashi (Tokyo Inst. of Tech.)
Secretary: Yoshiki Higo (Osaka Univ.), Kazuyuki Shima (Hiroshima City Univ.)
Assistant: Shinpei Hayashi (Tokyo Inst. of Tech.)
DATE:
Mon, Mar 4, 2019 09:25 - 18:00
Tue, Mar 5, 2019 09:00 - 17:40
PLACE:
TOPICS:
----------------------------------------
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.)
----- Break ( 10 min. ) -----
----------------------------------------
Mon, Mar 4 AM (11:15 - 12:30)
----------------------------------------
(5) 11:15 - 11:40
(See Japanese page.)
(6) 11:40 - 12:05
(See Japanese page.)
(7) 12:05 - 12:30
Junnosuke Matsumoto, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
----- 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)
----- Break ( 10 min. ) -----
----------------------------------------
Mon, Mar 4 PM (15:20 - 16:45)
----------------------------------------
(12) 15:20 - 15:45
(See Japanese page.)
(13) 15:45 - 16:10
(See Japanese page.)
(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.)
----- 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.)
----- 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
(See Japanese page.)
(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.)
----- 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.)
----- 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
()
----- Break ( 10 min. ) -----
----------------------------------------
Tue, Mar 5 PM (16:25 - 17:40)
----------------------------------------
(31) 16:25 - 16:50
(See Japanese page.)
(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)
# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
=== Technical Committee on Software Science (SS) ===
# SECRETARY:
Kazuyuki Shima (Hiroshima City University)
TEL: 082-830-1613
FAX: 082-830-1613
E-mail: -cu
# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/
Last modified: 2019-03-03 05:53:06
|
Notification: Mail addresses are partially hidden against SPAM.
|