Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 09:00 |
Hokkaido |
Furano-Bunka-Kaikan |
Application of Answer Set Programming to Various Forms of the Task Scheduling Problem Hiroyuki Kobayashi, Hiroyuki Nakagawa, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) SS2014-9 KBSE2014-12 |
Multi-core processor is widely used in recent CPUs. Even though it makes
an evolutional change to high performance com... [more] |
SS2014-9 KBSE2014-12 pp.25-30 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 09:30 |
Hokkaido |
Furano-Bunka-Kaikan |
Temporal-Constraints Representations for a Business Process by using Timed-Arc into Object-oriented Petri Net Tadashi Iijima (Keio Univ.) SS2014-10 KBSE2014-13 |
[more] |
SS2014-10 KBSE2014-13 pp.31-36 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 10:00 |
Hokkaido |
Furano-Bunka-Kaikan |
A cost-aware scheduling for real-time tasks based on the priced task automta Shoji Yuen, Tatsuro Kamei (Nagoya Univ.) SS2014-11 KBSE2014-14 |
This report presents a technique to give the optimal cost with respect
to time passage when a set of tasks are schedul... [more] |
SS2014-11 KBSE2014-14 pp.37-42 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 13:10 |
Hokkaido |
Furano-Bunka-Kaikan |
MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder Koji Matsui, Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-12 KBSE2014-15 |
[more] |
SS2014-12 KBSE2014-15 pp.63-68 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 13:40 |
Hokkaido |
Furano-Bunka-Kaikan |
Learning Relation between Android Permissions and Threats by Experiencing Pseudo Malware Makoto Kato, Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-13 KBSE2014-16 |
Recent years, Android malware is increasing. Most of the Android malware execute malicious attacks within the scope of p... [more] |
SS2014-13 KBSE2014-16 pp.69-74 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 14:10 |
Hokkaido |
Furano-Bunka-Kaikan |
An Automatic Web Prototyping for Validating Usability Requirements Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri (Shinshu Univ.) SS2014-14 KBSE2014-17 |
In recent years, usability has become increasingly recognized as an important factor in business Web applications. Some ... [more] |
SS2014-14 KBSE2014-17 pp.75-80 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 14:40 |
Hokkaido |
Furano-Bunka-Kaikan |
A Method to Extract a HTML Structure Pattern for UI Functional Testing of Web Applications Toshihiro Kamiya (Future Univ. Hakodate) SS2014-15 KBSE2014-18 |
The present UI testing techniques are technically kind of white box tests, thus such test cases are fragile
against ref... [more] |
SS2014-15 KBSE2014-18 pp.81-85 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 15:20 |
Hokkaido |
Furano-Bunka-Kaikan |
A Method of Facilitating Counterexample Analysis in Model Checking Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-16 KBSE2014-19 |
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] |
SS2014-16 KBSE2014-19 pp.87-92 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 15:50 |
Hokkaido |
Furano-Bunka-Kaikan |
Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD Masahiko Sakai (Nagoya Univ.), Hidetomo Nabeshima (Univ. of Yamanashi) SS2014-17 KBSE2014-20 |
[more] |
SS2014-17 KBSE2014-20 pp.93-98 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 16:20 |
Hokkaido |
Furano-Bunka-Kaikan |
Deciding Code Allocation on Malbolge Low-Level Assembler Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) SS2014-18 KBSE2014-21 |
Malbolge is known as one of the most esoteric and hard-to-programming languages.
Recently a low-level assembler (LA-as... [more] |
SS2014-18 KBSE2014-21 pp.99-104 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-10 16:50 |
Hokkaido |
Furano-Bunka-Kaikan |
A proposal of a searching method for MathML expressions Akihisa Kataoka, Hiroshi Kai (Ehime Univ.) SS2014-19 KBSE2014-22 |
MathML is a markup language for describing mathematical expressions. There are two types specications called presentati... [more] |
SS2014-19 KBSE2014-22 pp.105-108 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-11 09:00 |
Hokkaido |
Furano-Bunka-Kaikan |
Supporting Prefactoring Using Feature Location Results Takuya Komatsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) SS2014-20 KBSE2014-23 |
In order to find the opportunities for applying refactoring, several techniques for detecting bad smells in source code ... [more] |
SS2014-20 KBSE2014-23 pp.109-114 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-11 10:40 |
Hokkaido |
Furano-Bunka-Kaikan |
Risk Prediction for Code Clones Based on Machine Learning Ayaka Imazato, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2014-21 KBSE2014-24 |
Code clones often cause the deterioration of software maintainability. Meanwhile not all code clones have a bad influenc... [more] |
SS2014-21 KBSE2014-24 pp.129-134 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-11 11:10 |
Hokkaido |
Furano-Bunka-Kaikan |
An Empirical Study on Copy and Paste of Code in Software Development. Takafumi Ohta, Hiroshi Igaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2014-22 KBSE2014-25 |
In order to improve productivity etc. copy and paste programming is performed. It is known that not
only source code bu... [more] |
SS2014-22 KBSE2014-25 pp.135-140 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-11 13:10 |
Hokkaido |
Furano-Bunka-Kaikan |
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation Cassia de Souza Carvalho, Tatsuhiro Tsuchiya (Osaka Univ.) SS2014-23 KBSE2014-26 |
State Transition Testing is an important category of software testing.
Our work in progress focuses on a coverage crit... [more] |
SS2014-23 KBSE2014-26 pp.149-154 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-11 14:10 |
Hokkaido |
Furano-Bunka-Kaikan |
Traceability Construction and Utilization in Model Based Testing Xiaojing Zhang, Haruto Tanno, Morihide Oinuma (NTT) SS2014-24 KBSE2014-27 |
This paper focuses on traceability related problems in software testing. By extending an existing model based testing te... [more] |
SS2014-24 KBSE2014-27 pp.163-168 |