IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 37  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
DC 2011-10-20
Tokyo   K-induction-based model checking of concurrent systems with unbounded integer variables
Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2011-20
We discuss k-induction-based model checking that uses a Satisfiability Modulo Theories (SMT) solver. The state space of ... [more] DC2011-20
DC 2011-10-20
Tokyo   Network Coding-Based Gossip
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2011-25
Gossip is a broadcasting method for distributed systems. In gossip, the node that initiates a broadcast sends the broadc... [more] DC2011-25
KBSE, SS 2011-07-29
Hokkaido Hokkaido Information University Identifying systematic changes of Java source code structure
Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Institute of Tech.), Tohru Kikuno (Osaka Univ.) SS2011-18 KBSE2011-15
Structure changes of source code including refactoring are inevitable activities in software development and maintenance... [more] SS2011-18 KBSE2011-15
SS 2011-03-08
Okinawa Okinawa-ken Seinen Kaikan A New Code Coverage that Focuses on Edge Pairs in a Control Flow Graph
Satoru Nishimoto, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) SS2010-76
 [more] SS2010-76
SS 2010-12-14
Gunma Ikaho-Onsen Hotel Tenbo An Empirical Study on Relationship between Change History of Method Comments and Method Bugs
Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Institute of Tech.), Tohru Kikuno (Osaka Univ.) SS2010-41
Though comment statements are expected to help developers and users to
understand source code, improper comment stateme... [more]
DC 2010-10-14
Tokyo Kikai-Shinko-Kaikan Bldg Evaluation of Automated Testing Tools for Web Application Vulnerability Detection
Ryosuke Nakai, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ) DC2010-21
This paper reports an evaluation of some automatic testing tools for web
applications. These testing tools are intende... [more]
DC 2010-10-14
Tokyo Kikai-Shinko-Kaikan Bldg Accelerating State Reachability Analysis with a GPU
Yoshimitsu Nakada, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2010-22
Reachability analysis is the process of exploring the state space of a system under verification. This step is fundament... [more] DC2010-22
SS 2010-10-15
Iwate Iwate Prefectural Univ. On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data
Junya Debari, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi (OKI), Masayuki Hirayama (IPA/SEC) SS2010-35
Actual project data are collected based on many software metrics and generally contain a large amount of missing values.... [more] SS2010-35
SS 2010-03-08
Kagoshima Kagoshima Univ. On the Analysis of Method Call Changes Related to Bug Fixes
Ryosuke Morii, Hideaki Hata (Osaka Univ.), Osamu Mizuno (Kyoto Inst. of Tech.), Tohru Kikuno (Osaka Univ.) SS2009-57
During software development, APIs are used to reuse existing software. However, it is said APIs are difficult to use pro... [more] SS2009-57
DC 2009-10-20
Tokyo Kikai-Shinko-Kaikan Bldg. Deriving an Asynchronous Consensus Algorithm from a Round Model-Based Algorithm
Kazuyuki Akai, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2009-25
Consensus is a fundamental problem faced in implementing fault-tolerant
distributed systems. The design and verificati... [more]
DC 2009-10-20
Tokyo Kikai-Shinko-Kaikan Bldg. Model Checking-Based Agreement Verification of Consensus Algorithms
Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2009-26
This paper proposes a formal verification approach that can be applied to a class of distributed fault-tolerant protocol... [more] DC2009-26
MSS 2009-06-03
Osaka Setsunan University, Osaka Center SAT and SMT Based Model Checking of Concurrent Systems
Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) CST2009-4
We discuss model checking that uses a SAT (satisfiability) or SMT
(satisfiability modulo theory) solver. The basic id... [more]
DC, CPSY 2009-04-21
Tokyo Akihabara Satellite Campus, Tokyo Metropolitan Univ. Evaluation of a Metropolis Algorithm for Constructing Unstructured Overlay Networks
Tatsushi Takamura, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) CPSY2009-3 DC2009-3
Peer-to-peer(P2P) systems use a virtual network called an overlay network to route messages to distinations.
Some algor... [more]
CPSY2009-3 DC2009-3
SS 2009-03-02
Saga Saga University Improving Pairwise Testing Using the Properties of the System under Test
Kentaro Hideshima, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) SS2008-48
A testing process takes a large part of the whole software development process, and thus testing methods are required th... [more] SS2008-48
KBSE 2009-01-20
Tokyo Kikai-Shinko-Kaikan Bldg. B3-6 A Comparative Study of Fault-Prone Module Detection Methods -- Fault-proneness filtering and Logistic regression --
Liu Hua Hao, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) KBSE2008-47
Prediction of fault-prone software modules has been one of the most
classical and important area of software engineer... [more]
KBSE 2009-01-20
Tokyo Kikai-Shinko-Kaikan Bldg. B3-6 Analysis of Causes of Faults after Release by Rule Mining on Software Metrics
Tetsuya Iida, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Sachie Yoshioka, Yoshiyuki Anan, Mataharu Tanaka (OMRON Software Co.,Ltd.,) KBSE2008-50
We tried to investigate causes of faults after release of software. To do so, we applied the association rules mining to... [more] KBSE2008-50
R 2008-11-14
Osaka Chuo denki Club A BDD-Based Approach to Reliability-Optimal Module Allocation in Networks
Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) R2008-38
We consider the problem of finding an allocation of program modules to
computing nodes of a distributed system. The ob... [more]
DC 2008-10-20
Tokyo National Center of Sciences Feature Interaction Verification Using Model Checking with Interpolation
Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) DC2008-26
Recently SAT-based verification has attracted attention as a powerful
approach. In this paper, we propose a method for ... [more]
KBSE, SS 2008-05-29
Miyazaki Miyazaki Citizens' Plaza Identifying Fault-Prone Tokens in Source Code Modules with Spam-Filtering Technique
Ryosuke Morii, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) SS2008-4 KBSE2008-4
Prediction of fault-prone(FP) software modules has been one of the important area of software testing and many approache... [more] SS2008-4 KBSE2008-4
DC, CPSY 2008-04-23
Tokyo Tokyo Univ. Generating PROMELA Models of Fault-Tolerant Distributed Algorithms
Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) CPSY2008-5 DC2008-5
The consensus problem is fundamental in implementing fault-tolerant distributed systems.
However, designing a correct c... [more]
CPSY2008-5 DC2008-5
 Results 1 - 20 of 37  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
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]

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