| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| SS |
2013-01-10
13:00 |
Okinawa |
|
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.) |
In this paper, we discuss the complexity of the validity for positive XPath queries under the presence of DTDs. A given ... [more] |
SS2012-46
pp.1-6 |
| SS |
2013-01-10
13:30 |
Okinawa |
|
Construction of Constrained Tree Automata Recognizing Ground Instances of Constrained Terms
Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
A theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision... [more] |
SS2012-47
pp.7-12 |
| SS |
2013-01-10
14:00 |
Okinawa |
|
Refinement Planning
Shin Nakajima (NII) |
[more] |
SS2012-48
pp.13-18 |
| SS |
2013-01-10
14:45 |
Okinawa |
|
Design and Implementation of Compilers Constructed using COINS for Language Extensions using APIs
Takuya Shiode, Hideyuki Kawabata, Toshiaki Kitamura (Hiroshima City Univ.) |
Although C language is quite simple, the language is useful enough to
develop various kind of applications utilizing a ... [more] |
SS2012-49
pp.19-24 |
| SS |
2013-01-10
15:15 |
Okinawa |
|
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.) |
Malbolge is known as one of the most esoteric programming languages. Although it became possible to write programs in M... [more] |
SS2012-50
pp.25-30 |
| SS |
2013-01-10
16:00 |
Okinawa |
|
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.) |
This paper discusses random testing, which is a simple approach to test case generation for software testing. A notable ... [more] |
SS2012-51
pp.31-35 |
| SS |
2013-01-10
16:30 |
Okinawa |
|
Development of Unit Testing Visualization Tool to Implement Real-Time Visualization of Testing Progress
Shingo Matsuoka, Tetsuro Katayama (Miyazaki Univ.) |
[more] |
SS2012-52
pp.37-42 |
| SS |
2013-01-11
09:00 |
Okinawa |
|
A supporting method of abstraction of software documents
Masato Satonaka, Yoshitaka Iyoda, Atsushi Ohnishi (Ritsumeikan U.) |
The quality of software documents to be newly developed can be improved by reusing existing software documents of good q... [more] |
SS2012-53
pp.43-48 |
| SS |
2013-01-11
09:30 |
Okinawa |
|
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.) |
Simulink model is suitable for embedded software development. On the other hand, it is difficult to fix, often tend to b... [more] |
SS2012-54
pp.49-53 |
| SS |
2013-01-11
10:15 |
Okinawa |
|
Detection of refactoring targets using a design pattern detection tool
Yasuo Yamasaki, Yoshiaki Takata (KUT) |
Refactoring of object-oriented source code using design patterns is one of the promising methods to improve its maintain... [more] |
SS2012-55
pp.55-60 |
| SS |
2013-01-11
10:45 |
Okinawa |
|
Empirical Study on Inclusion Relation among Software Licenses of Open Source Software
Yuki Manabe, Katsuro Inoue (Osaka Univ.) |
Developers reuse source code files in other project and library to develop large software efficiently. A license of the ... [more] |
SS2012-56
pp.61-66 |
| SS |
2013-01-11
11:15 |
Okinawa |
|
Feature Dependency Analysis using Control Structure of Preprocess Directive
Noritoshi Atsumi (Nagoya Univ.), Takashi Kobayashi (Tokyo Tech.), Kiyoshi Agusa (Kyoto Univ.) |
To develop and manager a multi-variant software effectively, the codes
corresponding to each feature, which is consiste... [more] |
SS2012-57
pp.67-72 |
| SS |
2013-01-11
11:45 |
Okinawa |
|
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.) |
This paper proposes a method for collecting essential data for profiling energy consumption of applications that run on ... [more] |
SS2012-58
pp.73-78 |