Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [Japanese] / [English]
KBSE2014-12
Application of Answer Set Programming to Various Forms of the Task Scheduling Problem
Hiroyuki Kobayashi, Hiroyuki Nakagawa, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 25 - 30
KBSE2014-13
Temporal-Constraints Representations for a Business Process by using Timed-Arc into Object-oriented Petri Net
Tadashi Iijima (Keio Univ.)
pp. 31 - 36
KBSE2014-14
A cost-aware scheduling for real-time tasks based on the priced task automta
Shoji Yuen, Tatsuro Kamei (Nagoya Univ.)
pp. 37 - 42
KBSE2014-15
MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder
Koji Matsui, Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 63 - 68
KBSE2014-16
Learning Relation between Android Permissions and Threats by Experiencing Pseudo Malware
Makoto Kato, Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 69 - 74
KBSE2014-17
An Automatic Web Prototyping for Validating Usability Requirements
Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri (Shinshu Univ.)
pp. 75 - 80
KBSE2014-18
A Method to Extract a HTML Structure Pattern for UI Functional Testing of Web Applications
Toshihiro Kamiya (Future Univ. Hakodate)
pp. 81 - 85
KBSE2014-19
A Method of Facilitating Counterexample Analysis in Model Checking
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.)
pp. 87 - 92
KBSE2014-20
Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD
Masahiko Sakai (Nagoya Univ.), Hidetomo Nabeshima (Univ. of Yamanashi)
pp. 93 - 98
KBSE2014-21
Deciding Code Allocation on Malbolge Low-Level Assembler
Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 99 - 104
KBSE2014-22
A proposal of a searching method for MathML expressions
Akihisa Kataoka, Hiroshi Kai (Ehime Univ.)
pp. 105 - 108
KBSE2014-23
Supporting Prefactoring Using Feature Location Results
Takuya Komatsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)
pp. 109 - 114
KBSE2014-24
Risk Prediction for Code Clones Based on Machine Learning
Ayaka Imazato, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 129 - 134
KBSE2014-25
An Empirical Study on Copy and Paste of Code in Software Development.
Takafumi Ohta, Hiroshi Igaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 135 - 140
KBSE2014-26
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation
Cassia de Souza Carvalho, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 149 - 154
KBSE2014-27
Traceability Construction and Utilization in Model Based Testing
Xiaojing Zhang, Haruto Tanno, Morihide Oinuma (NTT)
pp. 163 - 168
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.