IEICE Technical Report

Print edition: ISSN 0913-5685

Volume 112, Number 373

Software Science

Workshop Date : 2013-01-10 - 2013-01-11 / Issue Date : 2013-01-03

[PREV] [NEXT]

[TOP] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

SS2012-46
The validity problem of positive XPath queries with sibling axes in the presence of DTDs
Yohei Kusunoki (Osaka Univ.), Kenji Hashimoto (NAIST), Yasunori Ishihara, Toru Fujiwara (Osaka Univ.)
pp. 1 - 6

SS2012-47
Construction of Constrained Tree Automata Recognizing Ground Instances of Constrained Terms
Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 7 - 12

SS2012-48
Refinement Planning
Shin Nakajima (NII)
pp. 13 - 18

SS2012-49
Design and Implementation of Compilers Constructed using COINS for Language Extensions using APIs
Takuya Shiode, Hideyuki Kawabata, Toshiaki Kitamura (Hiroshima City Univ.)
pp. 19 - 24

SS2012-50
Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge
Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 25 - 30

SS2012-51
On the Probability of Interaction Fault Detection Using Random Testing in the Presence of Constraints on Parameter Values
Daiki Shigeoka, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 31 - 35

SS2012-52
Development of Unit Testing Visualization Tool to Implement Real-Time Visualization of Testing Progress
Shingo Matsuoka, Tetsuro Katayama (Miyazaki Univ.)
pp. 37 - 42

SS2012-53
A supporting method of abstraction of software documents
Masato Satonaka, Yoshitaka Iyoda, Atsushi Ohnishi (Ritsumeikan U.)
pp. 43 - 48

SS2012-54
Research on the clustering towards the improvement in conservativeness of a Simulink model, and bidirectional conversion with an UML model
Takayuki Ozawa, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)
pp. 49 - 53

SS2012-55
Detection of refactoring targets using a design pattern detection tool
Yasuo Yamasaki, Yoshiaki Takata (KUT)
pp. 55 - 60

SS2012-56
Empirical Study on Inclusion Relation among Software Licenses of Open Source Software
Yuki Manabe, Katsuro Inoue (Osaka Univ.)
pp. 61 - 66

SS2012-57
Feature Dependency Analysis using Control Structure of Preprocess Directive
Noritoshi Atsumi (Nagoya Univ.), Takashi Kobayashi (Tokyo Tech.), Kiyoshi Agusa (Kyoto Univ.)
pp. 67 - 72

SS2012-58
An Energy Profiler for Android Applications Used in the Real World
Hiroki Furusho, Kenji Hisazumi (Kyushu Univ.), Takeshi Kamiyama, Hiroshi Inamura (NTT DOCOMO), Tsuneo Nakanishi, Akira Fukuda (Kyushu Univ.)
pp. 73 - 78

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan