Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
SS2018-52
Behavioral Verification of Yampa Programs in a Discrete Runtime Environment using Uppaal
Riku Nakane, Shoji Yuen (Nagoya Univ.)
pp. 1 - 6
SS2018-53
Congruence property of reversible process calculus with time
Satoru Yamamoto, Shoji Yuen (Nagoya Univ.)
pp. 7 - 12
SS2018-54
Statistical model checking of hybrid systems with Acumen
Kosuke Inoue, Daisuke Ishii (Fukui Univ.)
pp. 13 - 18
SS2018-55
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.)
pp. 19 - 24
SS2018-56
(See Japanese page.)
pp. 25 - 30
SS2018-57
(See Japanese page.)
pp. 31 - 36
SS2018-58
Junnosuke Matsumoto, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 37 - 42
SS2018-59
Ripple effect analysis method of data flow requirements
BUI Do Tien Hung, Takayuki Omori, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 43 - 48
SS2018-60
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)
pp. 49 - 54
SS2018-61
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)
pp. 55 - 60
SS2018-62
Machine learning based requirements description analysis technique for creating backlogs
Ryo Ishizuka, Hironori Washizaki (Waseda Univ.), Shinobu Saito, saori ouji (NTT SIC)
pp. 61 - 66
SS2018-63
(See Japanese page.)
pp. 67 - 72
SS2018-64
(See Japanese page.)
pp. 73 - 78
SS2018-65
Effects of rule aggregation and ranking method on change history analysis based error prevention methods
Yoshiya Ishida, Takashi Kobayashi (Tokyo Tech.)
pp. 79 - 84
SS2018-66
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.)
pp. 85 - 90
SS2018-67
Formal STAMP Modelling toward Safety Verification of Hybrid Systems
Mitsuaki Tsuji, Toshinori Takai (NAIST), Masafumi Katahira, Naoki Ishihama (JAXA), Kazuki Kakimoto, Hajimu Iida (NAIST)
pp. 91 - 96
SS2018-68
Dynamic information leakage analysis and adaptive input optimization
Tatsuya Miwa, Hiroyuki Seki (Nagoya Univ.)
pp. 97 - 102
SS2018-69
Masayuki Doi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 103 - 108
SS2018-70
Tasuku Nakagawa, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 109 - 114
SS2018-71
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.)
pp. 115 - 120
SS2018-72
A Study on Similarity of Modifications to Technical Debt Focusing on Source Code Comments
Saki Okajima, Tetsuya Kanda, Katsuro Inoue (Osaka Univ.)
pp. 121 - 126
SS2018-73
(See Japanese page.)
pp. 127 - 132
SS2018-74
Effcient source code search using Bloom filter capable of detecting similar elements
Hiroki Sakai (Osaka Univ.), Takashi Ishio (NAIST), Katsuri Inoue (Osaka Univ.)
pp. 133 - 138
SS2018-75
Attempt of ScreenTransition Test with Appropriate Granularity in Test Script Automatic Generation
Toshiyuki Kurabayashi, Hiroyuki Kirinuki, Yu Yoshimura, Yu Adachi, Haruto Tanno (NTT)
pp. 139 - 144
SS2018-76
Stepwise detection of image differences using screen elements in UI Layout Testing
Yu Yoshimura, Yu Adachi, Haruto Tanno (NTT)
pp. 145 - 150
SS2018-77
Computational work analysis technique by system operation log and image data for comprehending business processes
Saori Ouji, Shinobu Saito, Gengo Suzuki (NTT SIC)
pp. 151 - 156
SS2018-78
An Approach of Sharing Software Modification to Adopt Library Evolution
Noritoshi Atsumi (Kyoto Univ.), Hiroaki Kuwabara (Nanzan Univ.)
pp. 157 - 162
SS2018-79
Quality Evaluation Asssurance Levels for Machine Learning Software
Shin Nakajima (NII), Yoshiki Seo, Yutaka Oiwa, Yoshinao Isobe (AIST)
pp. 163 - 168
SS2018-80
Automatic Repair of Conditional Expressions for Functional Programs by Using Counterexamples
Ken Matsui, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.)
pp. 169 - 174
SS2018-82
(See Japanese page.)
pp. 181 - 186
SS2018-83
Towards a development of multiplayer coloring game to cultivate Computational Thinking
Kakuto Koja, Hiroshi Igaki (OIT)
pp. 187 - 192
SS2018-84
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)
pp. 193 - 198
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.