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 |
|
: t
ba
