Thu, Mar 9 AM 09:30 - 10:45 |
(1) |
09:30-09:55 |
A Symbolic Simulation of Dense-Timed Pushdown Automata with Clock Freezing |
Sho Hiraoka, Shoji Yuen (Nagoya Univ.) |
(2) |
09:55-10:20 |
Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting |
Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) |
(3) |
10:20-10:45 |
Debugging Pure Strategy Games |
Shin Nakajima (NII) |
|
10:45-11:00 |
Break ( 15 min. ) |
Thu, Mar 9 AM 11:00 - 12:15 |
(4) |
11:00-11:25 |
|
Akito Tanikado, Haruki Yokoyama, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(5) |
11:25-11:50 |
A study of Relationship between Java Method Name and Implementation toward Buggy Method Prediction |
Sho Suzuki, Hirohisa Aman, Minoru Kawahara (Ehime Univ.) |
(6) |
11:50-12:15 |
Equivalence Checking for Methods in Java and Its Applications |
Kozo Okano (Shinshu Univ.), Satoshi Harauchi (Mitsubishi Electric Corp.), Shinpei Ogata (Shinshu Univ.), Toshifusa Sekizawa (Nihon Univ.), Takeshi Obara (Shinshu Univ.) |
|
12:15-13:45 |
Break ( 90 min. ) |
Thu, Mar 9 PM 13:45 - 15:25 |
(7) |
13:45-14:10 |
Extending Git Client for Retrieving Development History using Source Code Context |
Miwa Sasaki, Naoto Ogura, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
(8) |
14:10-14:35 |
|
|
(9) |
14:35-15:00 |
|
|
(10) |
15:00-15:25 |
A Trial of Traceability Visualization Tool for Information Seeking in Middle-Large-Scaled Open Source Software |
Shu Kutsuzawa (Gakugei Univ), Hiroaki Hashiura (NIT), Atsuo Hazeyama (Gakugei Univ), Hironori Washizaki (Waseda Univ) |
|
15:25-15:40 |
Break ( 15 min. ) |
Thu, Mar 9 PM 15:40 - 17:20 |
(11) |
15:40-16:05 |
On the Use of Variation Points with Preprocessor Directives in Co-change Rule Mining |
Tatsuya Mori, Takashi Kobayashi, Shinpei Hayashi (Tokyo Tech), Noritoshi Atsumi (Kyoto U.) |
(12) |
16:05-16:30 |
A Study on Source Code Search and Classification using Distributed Representations |
Tetsuo Yamamoto (Nihon Univ.) |
(13) |
16:30-16:55 |
Analysis of Relation Betweeen on Changes Content and Code Dependency |
Yuki Ueda, Toshihiro Kamiya (Shimane Univ) |
(14) |
16:55-17:20 |
An Investigation of Extract Method to Construct Prediction Model Based on Process Metrics |
Daiki Tanaka, Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Kenji Fujiwara (NITTC), Hajimu Iida (NAIST) |
|
- |
|
Fri, Mar 10 AM 09:15 - 10:30 |
(15) |
09:15-09:40 |
Detecting Anormal Power Consumption in a Concurrent of Android Application |
Takahiro Inagaki, Shoji Yuen (Nagoya Univ.) |
(16) |
09:40-10:05 |
System Identification Method by Real-Time Calculus for Response Time Smoothing |
Reiya Okamoto, Akio Nakata (Hiroshima City Univ) |
(17) |
10:05-10:30 |
Multitask Scheduling Method for Reducing Total Heap Memory Usage under Deadline Constraints |
Yuto Suzuki, Akio Nakata (Hiroshima City Univ.) |
|
10:30-10:45 |
Break ( 15 min. ) |
Fri, Mar 10 AM 10:45 - 12:00 |
(18) |
10:45-11:10 |
Proving Confluence of Hierarchical Conditional Term Rewriting Systems without Sufficient Completeness |
Takayuki Kuroda, Naoki Nishida, Hiroyuki Seki (Nagoya Univ.) |
(19) |
11:10-11:35 |
Sufficient Conditions for the Decidability of Query Preservation of Non-Linear Topdown Tree Transducers |
Taka Ishihara, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) |
(20) |
11:35-12:00 |
Approximation of Multitask System Specification by Task Merging for Efficiency Improvement of Performance Verification |
Kazuma Hashimoto, Akio Nakata (Hiroshima City Univ.) |
|
12:00-13:30 |
Break ( 90 min. ) |
Fri, Mar 10 PM 13:30 - 15:10 |
(21) |
13:30-13:55 |
Specifying Narratology by Using Software Modeling Perspectives |
Minako Ooki, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe (Wakayama Univ.) |
(22) |
13:55-14:20 |
|
|
(23) |
14:20-14:45 |
An Empirical Analysis of Uncertainty in OSS projects
-- When and Why does Uncertainty Appear or Disappear? -- |
Hokuto Muraoka, Takuya Fukamachi, Kazuhiro Yamashita, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) |
(24) |
14:45-15:10 |
Evaluation of a Security Requirement Analysis Support System using Software Security Knowledge Base |
Atsuo Hazeyama, Shunichi Tanaka (Tokyo Gakugei Univ.), Takafumi Tanaka (TUAT), Seiji Munetoh (IBM Japan), Takao Okubo (IISEC) |
|
- |
|