Tohru Kikuno

Publication Activity (10 Years)

Years Active: 1979-2013
Publications (10 Years): 0

Top Venues

PRDC

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

ICSE

ISADS

Publications

Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno
Software reconstruction and module management for distributed processing of train control. ISADS (2013)
Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2012)
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
Bug prediction based on fine-grained module histories. ICSE (2012)
Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. PRDC (2012)
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
Historage: fine-grained version control system for Java. EVOL/IWPSE (2011)
Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables. ICNC (2011)
Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. ICNC (2011)
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
Gossiping with Network Coding. PRDC (2011)
Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
On the Reliability of Cascaded TMR Systems. PRDC (2010)
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
Fault-prone module detection using large-scale text features based on spam filtering. Empir. Softw. Eng. 15 (2) (2010)
Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Constructing Overlay Networks with Short Paths and Low Communication Cost. IEICE Trans. Inf. Syst. (6) (2010)
Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm. IEICE Trans. Inf. Syst. (10) (2010)
Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Balance and Proximity-Aware Skip Graph Construction. ICNC (2010)
Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno
Using the NuSMV Model Checker for Test Generation from Statecharts. PRDC (2009)
Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm. IEICE Trans. Inf. Syst. (8) (2009)
Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
Feature Interaction Verification Using Unbounded Model Checking with Interpolation. IEICE Trans. Inf. Syst. (6) (2009)
Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Towards Automated Verification of Distributed Consensus Protocols. APSEC (2009)
Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno
Probabilistic Model Checking of the One-Dimensional Ising Model. IEICE Trans. Inf. Syst. (5) (2009)
Tim Menzies, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno
Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects. J. Softw. Eng. Appl. 2 (4) (2009)
Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno
FAVE: factor analysis based approach for detecting product line variability from change history. MSR (2008)
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
An extension of fault-prone filtering using precise training and a dynamic threshold. MSR (2008)
Osamu Mizuno, Tohru Kikuno
Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator. IEICE Trans. Inf. Syst. (4) (2008)
Junya Debari, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama
On Deriving Actions for Improving Cost Overrun by Applying Association Rule Mining to Industrial Project Repository. ICSP (2008)
Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
Finding the Optimal Configuration of a Cascading TMR System. PRDC (2008)
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
Comparative Study of Fault-Proneness Filtering with PMD. ISSRE (2008)
Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. PRDC (2008)
Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
Pairwise Testing in the Presence of Configuration Change Cost. SSIRI (2008)
Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
Detecting Feature Interactions in Home Appliance Networks. SNPD (2008)
Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno
A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System. SPLC (2) (2008)
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
A self-organising algorithm for sensor placement in wireless mobile microsensor networks. Int. J. Wirel. Mob. Comput. 3 (1/2) (2008)
Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno
Spam Filter Based Approach for Finding Fault-Prone Software Modules. MSR (2007)
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. Parallel and Distributed Computing and Networks (2007)
Osamu Mizuno, Tohru Kikuno
Training on errors experiment to detect fault-prone software modules by spam filter. ESEC/SIGSOFT FSE (2007)
Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
Constructing Overlay Networks with Low Link Costs and Short Paths. NCA (2007)
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power. IEICE Trans. Inf. Syst. (3) (2007)
Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno
Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique. ESEM (2007)
Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno
A Decentralized Scheme for Network-Aware Reliable Overlay Construction. ICOIN (2006)
Seiya Abe, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama
Estimation of project success using Bayesian classifier. ICSE (2006)
Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno
Counter-based reliability optimization for gossip-based broadcasting. Comput. Commun. 29 (9) (2006)
Sousuke Amasaki, Yasuhiro Hamano, Osamu Mizuno, Tohru Kikuno
Characterization of Runaway Software Projects Using Association Rule Mining. PROFES (2006)
Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
Improving the Robustness of Epidemic Communication in Scale-Free Networks. BioADIT (2006)
Yasunari Takagi, Osamu Mizuno, Tohru Kikuno
An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis. Empir. Softw. Eng. 10 (4) (2005)
Tohru Kikuno
Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. PRDC (2005)
Sousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno
A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation. Softw. Qual. J. 13 (2) (2005)
Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno
Overlay Network Topologies for Gossip-Based Multicast. ICPADS (1) (2005)
Takeshi Sumi, Osamu Mizuno, Tohru Kikuno, Masayuki Hirayama
An Effective Testing Method for Hardware Related Fault in Embedded Software. IEICE Trans. Inf. Syst. (6) (2005)
Pattara Leelaprute, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto
Definition and Detection of Semantic Warnings for VoiceXML. IASTED Conf. on Software Engineering (2005)
Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno
Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development. IEICE Trans. Inf. Syst. (6) (2005)
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto
Describing and Verifying Integrated Services of Home Network Systems. APSEC (2005)
Masayuki Hirayama, Osamu Mizuno, Tohru Kikuno
Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers. J. Comput. Sci. Technol. 20 (2) (2005)
Tatsuhiro Tsuchiya, Tohru Kikuno
An Adaptive Mechanism for Epidemic Communication. BioADIT (2004)
Masayuki Hirayama, Osamu Mizuno, Tohru Kikuno
Test Item Prioritizing Metrics for Selective Software Testing. IEICE Trans. Inf. Syst. (12) (2004)
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. AINA (1) (2004)
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno
On detecting feature interactions in the programmable service environment of Internet telephony. Comput. Networks 45 (5) (2004)
Osamu Mizuno, Takanari Hamasaki, Yasunari Takagi, Tohru Kikuno
An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification. PROFES (2004)
Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno
SAT-Based Verification of Safe Petri Nets. ATVA (2004)
Tatsuhiro Tsuchiya, Tohru Kikuno
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. PRDC (2004)
Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno
Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. COMPSAC (2004)
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno
Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony. SAINT (2003)
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno
Detecting Script-to-Script Interactions in Call Processing Language. FIW (2003)
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
Design of a new mechanism for context data storage on Web systems and its implementation using component-object technology. Systems and Computers in Japan 34 (3) (2003)
Masayuki Hirayama, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno
Analysis of Software Test Item Generation - Comparison between High Skilled and Low Skilled Engineers. Asian Test Symposium (2003)
Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. APSEC (2003)
Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno
A Bayesian Belief Network for Assessing the Likelihood of Fault Content. ISSRE (2003)
Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tohru Kikuno
Verifying Fault Tolerance of Concurrent Systems by Model Checking. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2002)
Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno
Elimination of Crucial Faults by a New Selective Testing Method. ISESE (2002)
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
New 2-Factor Covering Designs for Software Testing. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2002)
Tatsuhiro Tsuchiya, Tohru Kikuno
On fault classes and error detection capability of specification-based testing. ACM Trans. Softw. Eng. Methodol. 11 (1) (2002)
Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno
On Estimating Testing Effort Needed to Assure Field Quality in Software Development. ISSRE (2002)
Tatsuhiro Tsuchiya, Tohru Kikuno
Byzantine quorum systems with maximum availability. Inf. Process. Lett. 83 (2) (2002)
Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
Detecting Feature Interactions in Telecommunication Services with a SAT Solver. PRDC (2002)
Sousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Tohru Kikuno, Yasunari Takagi
Statistical Analysis of Time Series Data on the Number of Faults Detected by Statistical Analysis of Time Series Data on the Number of Faults Detected by Software Testing. Asian Test Symposium (2002)
Masahide Nakamura, Pattara Leelaprute, Tohru Kikuno
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps. WORDS (2002)
Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
Optimal k-Coteries That Maximize Availability in General Networks. ICOIN (2) (2002)
Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) (2002)
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
A new method for constructing pair-wise covering designs for software testing. Inf. Process. Lett. 81 (2) (2002)
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
Non-specification-based approaches to logic testing for software. Inf. Softw. Technol. 44 (2) (2002)
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
Minimizing the mean delay of quorum-based mutual exclusion schemes. J. Syst. Softw. 58 (1) (2001)
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
Applicability of Non-Specification-Based Approaches to Logic Testing for Software. DSN (2001)
Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules. APAQS (2001)
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
Development of Session Management Mechanism for Cellular Phone with WWW Connection. APSEC (2001)
Nahomi Kikuchi, Tohru Kikuno
Improving the Testing Process by Program Static Analysis. APSEC (2001)
Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno
Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distributed Syst. 12 (1) (2001)
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology. WORDS (2001)
Osamu Mizuno, Takuya Adachi, Tohru Kikuno, Yasunari Takagi
On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire. APAQS (2001)
Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto
Characterization of risky projects based on project managers' evaluation. ICSE (2000)
Nahomi Kikuchi, Osamu Mizuno, Tohru Kikuno
Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software. COMPSAC (2000)
Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. J. Syst. Softw. 53 (2) (2000)
Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno
Generating test items for checking illegal behaviors in software testing. Asian Test Symposium (2000)
Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. DSN (2000)
Takeiki Aizono, Tohru Kikuno
Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems. ISORC (2000)
Osamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto
Statistical analysis of deviation of actual cost from estimated cost using actual project data. Inf. Softw. Technol. 42 (7) (2000)
Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo
Feature Interaction Filtering with Use Case Maps at Requirements Stage. FIW (2000)
Satoru Uehara, Osamu Mizuno, Yumi Itou, Tohru Kikuno
An MVC-based analysis of object-oriented system prototyping for banking related GUI applications-correlationship between OO metrics and efforts for requirement change. WORDS (Jan.) (1999)
Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, Kitsutaro Amano
A protocol synthesis method for fault-tolerant multipath routing. Inf. Softw. Technol. 41 (11-12) (1999)
Tatsuhiro Tsuchiya, Tohru Kikuno
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. Comput. J. 42 (7) (1999)
Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
On the availability of k-coteries in networks with unreliable nodes and links. WORDS (Jan.) (1999)
Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. IEEE Trans. Parallel Distributed Syst. 10 (4) (1999)
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. APSEC (1999)
Tsuneo Yamaura, Tohru Kikuno
A Framework for Top-Down Cost Estimation of Software Development. COMPSAC (1999)

Tohru Kikuno.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tohru Kikuno