|
|
Technical Committee on Software Science (SS) (Searched in: 2013)
|
|
Search Results: Keywords 'from:2013-10-24 to:2013-10-24'
|
[Go to Official SS Homepage (Japanese)] |
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Ascending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, IPSJ-SE |
2013-10-24 10:30 |
Ishikawa |
|
Symbolic Model Checking of Embedded CISC Assembly Program Kenta Watanabe, Hyejin Jang, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) SS2013-36 |
The more complicated embedded systems are, the more difficult verification of safety and reliability is.
Therefore, the... [more] |
SS2013-36 pp.1-5 |
SS, IPSJ-SE |
2013-10-24 10:50 |
Ishikawa |
|
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.) SS2013-37 |
We aim at Model Checking for Embedded Systems. We describe the outline of Behavior Extractor that automatically construc... [more] |
SS2013-37 pp.7-12 |
SS, IPSJ-SE |
2013-10-24 11:10 |
Ishikawa |
|
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.) SS2013-38 |
Although C language is quite simple, the language is useful enough to develop various kind of applications utilizing a v... [more] |
SS2013-38 pp.13-18 |
SS, IPSJ-SE |
2013-10-24 13:30 |
Ishikawa |
|
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.) SS2013-39 |
[more] |
SS2013-39 pp.43-48 |
SS, IPSJ-SE |
2013-10-24 13:50 |
Ishikawa |
|
A representation of relationships between functions and variables in source code Yamato Takahashi, Kazuya Fukuhara, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Prefectural Univ.) SS2013-40 |
In development of embedded software, the quality of software is very important.
A code review is performed in order ... [more] |
SS2013-40 pp.49-54 |
SS, IPSJ-SE |
2013-10-24 14:10 |
Ishikawa |
|
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.) SS2013-41 |
[more] |
SS2013-41 pp.55-60 |
SS, IPSJ-SE |
2013-10-24 14:30 |
Ishikawa |
|
Searching code fragments based on past reuse Tomoya Ishihara, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2013-42 |
Code fragment search techniques are well-known as the one of the techniques helping code reuse. If users
input queries ... [more] |
SS2013-42 pp.61-66 |
SS, IPSJ-SE |
2013-10-24 14:50 |
Ishikawa |
|
partitioning commits using data dependency among variables in source code Hiroyuki Kirinuki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2013-43 |
Although developers should do one commit for every task, they often commit multiple tasks at the same time. It has been ... [more] |
SS2013-43 pp.67-72 |
SS, IPSJ-SE |
2013-10-24 15:10 |
Ishikawa |
|
Implementing Caching Mechanism to Improve Efficiency of Service-Oriented Mining Software Repository Yasutaka Sakamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) SS2013-44 |
We have proposed a framework called SO-MSR (Service-Oriented Mining Software Repository), which applied service-oriented... [more] |
SS2013-44 pp.73-78 |
SS, IPSJ-SE |
2013-10-25 13:30 |
Ishikawa |
|
Efficient random test case generation for constrained interaction testing Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) SS2013-45 |
This paper discusses interaction testing using random testing.
Random testing can generate test cases very fast, but d... [more] |
SS2013-45 pp.163-166 |
SS, IPSJ-SE |
2013-10-25 13:50 |
Ishikawa |
|
Test Case Generation Based on Design Document: Can We Integrate the Technology into Traditional Development Process? Xiaojing Zhang, Haruto Tanno, Takashi Hoshino (NTT) SS2013-46 |
This paper introduce an improvement method to an existing model based test case extraction approach, our improved method... [more] |
SS2013-46 pp.167-172 |
SS, IPSJ-SE |
2013-10-25 14:10 |
Ishikawa |
|
And/Or/Call Graph and Its Application to Source-Code Search Toshihiro Kamiya (Future Univ. Hakodate) SS2013-47 |
To realize a code search of which a searched concept consists of multiple modules (or source files), this paper presents... [more] |
SS2013-47 pp.173-178 |
|
|
|
Copyright and reproduction :
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
|
[Return to Top Page]
[Return to IEICE Web Page]
|