Wed, Jul 9 PM 15:00 - 16:30 |
(1) |
15:00-15:30 |
|
(2) |
15:30-16:00 |
|
(3) |
16:00-16:30 |
|
Thu, Jul 10 AM 09:00 - 10:30 |
(4) KBSE |
09:00-09:30 |
Application of Answer Set Programming to Various Forms of the Task Scheduling Problem |
Hiroyuki Kobayashi, Hiroyuki Nakagawa, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) |
(5) KBSE |
09:30-10:00 |
Temporal-Constraints Representations for a Business Process by using Timed-Arc into Object-oriented Petri Net |
Tadashi Iijima (Keio Univ.) |
(6) SS |
10:00-10:30 |
A cost-aware scheduling for real-time tasks based on the priced task automta |
Shoji Yuen, Tatsuro Kamei (Nagoya Univ.) |
Thu, Jul 10 AM 10:40 - 12:10 |
(7) |
10:40-11:10 |
|
(8) |
11:10-11:40 |
|
(9) |
11:40-12:10 |
|
Thu, Jul 10 PM 13:10 - 15:10 |
(10) KBSE |
13:10-13:40 |
MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder |
Koji Matsui, Saeko Matsuura (Shibaura Inst. of Tech.) |
(11) KBSE |
13:40-14:10 |
Learning Relation between Android Permissions and Threats by Experiencing Pseudo Malware |
Makoto Kato, Saeko Matsuura (Shibaura Inst. of Tech.) |
(12) KBSE |
14:10-14:40 |
An Automatic Web Prototyping for Validating Usability Requirements |
Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri (Shinshu Univ.) |
(13) SS |
14:40-15:10 |
A Method to Extract a HTML Structure Pattern for UI Functional Testing of Web Applications |
Toshihiro Kamiya (Future Univ. Hakodate) |
Thu, Jul 10 PM 15:20 - 17:20 |
(14) KBSE |
15:20-15:50 |
A Method of Facilitating Counterexample Analysis in Model Checking |
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) |
(15) SS |
15:50-16:20 |
Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD |
Masahiko Sakai (Nagoya Univ.), Hidetomo Nabeshima (Univ. of Yamanashi) |
(16) SS |
16:20-16:50 |
Deciding Code Allocation on Malbolge Low-Level Assembler |
Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
(17) KBSE |
16:50-17:20 |
A proposal of a searching method for MathML expressions |
Akihisa Kataoka, Hiroshi Kai (Ehime Univ.) |
Fri, Jul 11 AM 09:00 - 10:30 |
(18) SS |
09:00-09:30 |
Supporting Prefactoring Using Feature Location Results |
Takuya Komatsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) |
(19) |
09:30-10:00 |
|
(20) |
10:00-10:30 |
|
Fri, Jul 11 AM 10:40 - 12:10 |
(21) SS |
10:40-11:10 |
Risk Prediction for Code Clones Based on Machine Learning |
Ayaka Imazato, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(22) SS |
11:10-11:40 |
An Empirical Study on Copy and Paste of Code in Software Development. |
Takafumi Ohta, Hiroshi Igaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(23) |
11:40-12:10 |
|
Fri, Jul 11 PM 13:10 - 15:10 |
(24) SS |
13:10-13:40 |
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation |
Cassia de Souza Carvalho, Tatsuhiro Tsuchiya (Osaka Univ.) |
(25) |
13:40-14:10 |
|
(26) SS |
14:10-14:40 |
Traceability Construction and Utilization in Model Based Testing |
Xiaojing Zhang, Haruto Tanno, Morihide Oinuma (NTT) |
(27) |
14:40-15:10 |
|