Kikuno Tohru

发表

Identifying systematic changes of Java source code structure

Mizuno Osamu, Hata Hideaki, Kikuno Tohru, 2011 .

Selecting metrics for effective software quality management using over-sampling method

Abe Seiya, Mizuno Osamu, Sasaki Yusuke, 2007 .

On the Analysis of Method Call Changes Related to Bug Fixes

Mizuno Osamu, Hata Hideaki, Kikuno Tohru, 2010 .

An Empirical Study on Relationship between Change History of Method Comments and Method Bugs

Mizuno Osamu, Hata Hideaki, Kikuno Tohru, 2010 .

On decreasing the number of hops needed for long-distance communications in overlay networks

Tsuchiya Tatsuhiro, Kikuno Tohru, Makikawa Fuminori, 2006 .

Analysis of Causes of Faults after Release by Rule Mining on Software Metrics

Mizuno Osamu, Kikuno Tohru, Yoshioka Sachie, 2009 .

Prediction of fault prone source code modules using text classifier

Mizuno Osamu, Kikuno Tohru, Ikami Shiro, 2007 .

A Comparative Study of Fault-Prone Module Detection Methods -- Fault-proneness filtering and Logistic regression

Mizuno Osamu, Kikuno Tohru, HuaHao Liu, 2009 .

On Improving the Reliability of Probabilistic Broadcast with an Adaptive Technique

Tsuchiya Tatsuhiro, Kikuno Tohru, 2004 .

On Deriving Essential Factors for Estimating Successful Projects from Actual Project Data

Kikuchi Nahomi, Kikuno Tohru, Hirayama Masayuki, 2010 .

Designing Pairwise Testsets that Optimize Executing Cost

Tsuchiya Tatsuhiro, Kikuno Tohru, Kimoto Shin, 2007 .

K-induction-based model checking of concurrent systems with unbounded integer variables

Tsuchiya Tatsuhiro, Inoue Hiroyuki, Kikuno Tohru, 2011 .

Automatically Generating Testcases with the NuSMV Model Checker

Tsuchiya Tatsuhiro, Kikuno Tohru, Kadono Masaya, 2008 .

Evaluation of a Metropolis Algorithm for Constructing Unstructured Overlay Networks

Tsuchiya Tatsuhiro, Kikuno Tohru, Takamura Tatsushi, 2009 .

Model Checking Integrated Services of Home Network Systems

Tsuchiya Tatsuhiro, Leelaprute Pattara, Kikuno Tohru, 2006 .

SAT and SMT Based Model Checking of Concurrent Systems

Tsuchiya Tatsuhiro, Kikuno Tohru, 2009 .

A BDD-Based Approach to Reliability-Optimal Module Allocation in Networks

Tsuchiya Tatsuhiro, Kikuno Tohru, 2008 .

Model Checking-Based Agreement Verification of Consensus Algorithms

Tsuchiya Tatsuhiro, Kikuno Tohru, Noguchi Tatsuya, 2009 .

Generating PROMELA Models of Fault-Tolerant Distributed Algorithms

Tsuchiya Tatsuhiro, Kikuno Tohru, Minamikawa Takahiro, 2008 .

Finding the Optimal Configuration of a Cascading Single-Voter TMR System

Tsuchiya Tatsuhiro, Kikuno Tohru, Hamamatsu Masashi, 2008 .

Deriving an Asynchronous Consensus Algorithm from a Round Model-Based Algorithm

Tsuchiya Tatsuhiro, Kikuno Tohru, Akai Kazuyuki, 2009 .

Prediction of Runaway Software Projects with Multiple Classification Methods -- Comparison of Accuracy among Classification Methods

Mizuno Osamu, Kikuno Tohru, Kudou Kouta, 2004 .

Network Coding-Based Gossip

Tsuchiya Tatsuhiro, Tokuyama Shun, Kikuno Tohru, 2011 .

Accelerating State Reachability Analysis with a GPU

Tsuchiya Tatsuhiro, Kikuno Tohru, Nakada Yoshimitsu, 2010 .

Software Project Simulator for Effective Process Improvement (特集〔情報処理学会〕創立40周年記念論文)

Kusumoto Shinji, Mizuno Osamu, Kikuno Tohru, 2001 .

Identifying Fault-Prone Tokens in Source Code Modules with Spam-Filtering Technique

Mizuno Osamu, Kikuno Tohru, Morii Ryosuke, 2008 .

Improving the Reliability of Gossip Algorithms for Scale-Free Networks

Tsuchiya Tatsuhiro, Kikuno Tohru, Okuyama Takuya, 2005 .

Evaluation of Automated Testing Tools for Web Application Vulnerability Detection

Tsuchiya Tatsuhiro, Kikuno Tohru, Nakai Ryosuke, 2010 .