| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| DC | 2011-10-20 11:00 |
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 pp.1-5 |
|
| DC | 2011-10-20 14:40 |
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 pp.31-36 |
|
| KBSE, SS | 2011-07-29 14:30 |
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 pp.31-36 |
| SS | 2011-03-08 13:30 |
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 pp.139-144 |
| SS | 2010-12-14 14:40 |
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] |
SS2010-41 pp.13-18 |
| DC | 2010-10-14 14:40 |
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] |
DC2010-21 pp.19-23 |
| DC | 2010-10-14 15:10 |
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 pp.25-29 |
| SS | 2010-10-15 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 pp.43-48 |
| SS | 2010-03-08 14:50 |
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 pp.55-60 |
| DC | 2009-10-20 13:00 |
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] |
DC2009-25 pp.19-24 |
| DC | 2009-10-20 13:30 |
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 pp.25-30 |
| MSS | 2009-06-03 14:50 |
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] |
CST2009-4 pp.19-23 |
| DC, CPSY | 2009-04-21 13:00 |
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 pp.13-17 |
| SS | 2009-03-02 14:00 |
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 pp.1-6 |
| KBSE | 2009-01-20 13:15 |
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] |
KBSE2008-47 pp.61-66 |
| KBSE | 2009-01-20 15:30 |
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 pp.79-84 |
| R | 2008-11-14 15:55 |
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] |
R2008-38 pp.15-20 |
| DC | 2008-10-20 15:25 |
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] |
DC2008-26 pp.23-28 |
| KBSE, SS | 2008-05-29 15:15 |
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 pp.19-24 |
| DC, CPSY | 2008-04-23 14:00 |
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 pp.25-30 |
[Return to Top Page]