Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2010] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [Japanese] / [English]
SS2013-36
Symbolic Model Checking of Embedded CISC Assembly Program
Kenta Watanabe, Hyejin Jang, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
pp. 1 - 5
SS2013-37
Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking
-- Generating the Model Automatically by Simulation --
Ryosuke Konoshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.)
pp. 7 - 12
SS2013-38
Design and Implementation of a Framework for API-Based Language Extension via Rule-Based Rewriting utilizing COINS
Takuya Shiode, Hideyuki Kawabata, Toshiaki Kitamura (Hiroshima City Univ.)
pp. 13 - 18
SS2013-39
A Study on Software Maintainability Evaluation using the Directed Graph Analysis
Mitsuhiro Nakamura (Fujitsu/Yokohama National Univ.), Reiko Kinomoto, Hisaaki Nakajima (Fujitsu), Tomoki Hamagami (Yokohama National Univ.)
pp. 43 - 48
SS2013-40
A representation of relationships between functions and variables in source code
Yamato Takahashi, Kazuya Fukuhara, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Prefectural Univ.)
pp. 49 - 54
SS2013-41
A visualization method of relationships between functions and variables for a code review system
Kazuya Fukuhara, Yamato Takahashi, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Prefectural Univ.)
pp. 55 - 60
SS2013-42
Searching code fragments based on past reuse
Tomoya Ishihara, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 61 - 66
SS2013-43
partitioning commits using data dependency among variables in source code
Hiroyuki Kirinuki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 67 - 72
SS2013-44
Implementing Caching Mechanism to Improve Efficiency of Service-Oriented Mining Software Repository
Yasutaka Sakamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.)
pp. 73 - 78
SS2013-45
Efficient random test case generation for constrained interaction testing
Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.)
pp. 163 - 166
SS2013-46
Test Case Generation Based on Design Document: Can We Integrate the Technology into Traditional Development Process?
Xiaojing Zhang, Haruto Tanno, Takashi Hoshino (NTT)
pp. 167 - 172
SS2013-47
And/Or/Call Graph and Its Application to Source-Code Search
Toshihiro Kamiya (Future Univ. Hakodate)
pp. 173 - 178
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.