Search the dblp DataBase
Tohru Kikuno :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Kazuo Sugihara , Tohru Kikuno , Noriyoshi Yoshida , Masanobu Ogata A Distributed Algorithm for Deadlock Detection and Resolution. [Citation Graph (3, 0)][DBLP ] Symposium on Reliability in Distributed Software and Database Systems, 1984, pp:169-176 [Conf ] TheinLai Wong , Tatsuhiro Tsuchiya , Tohru Kikuno A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks. [Citation Graph (0, 0)][DBLP ] AINA (1), 2004, pp:78-83 [Conf ] Masayuki Hirayama , Tetsuya Yamamoto , Jiro Okayasu , Osamu Mizuno , Tohru Kikuno A Selective Software Testing Method Based on Priorities Assigned to Functional Modules. [Citation Graph (0, 0)][DBLP ] APAQS, 2001, pp:259-267 [Conf ] Osamu Mizuno , T. Adachi , Tohru Kikuno , Yasunari Takagi On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire. [Citation Graph (0, 0)][DBLP ] APAQS, 2001, pp:120-130 [Conf ] Pattara Leelaprute , Masahide Nakamura , Ken-ichi Matsumoto , Tohru Kikuno Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. [Citation Graph (0, 0)][DBLP ] APSEC, 2003, pp:552-0 [Conf ] Pattara Leelaprute , Tatsuhiro Tsuchiya , Tohru Kikuno , Masahide Nakamura , Ken-ichi Matsumoto Describing and Verifying Integrated Services of Home Network Systems. [Citation Graph (0, 0)][DBLP ] APSEC, 2005, pp:549-560 [Conf ] Nahomi Kikuchi , Tohru Kikuno Improving the Testing Process by Program Static Analysis. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:195-201 [Conf ] Satoru Uehara , Osamu Mizuno , Tohru Kikuno Development of Session Management Mechanism for Cellular Phone with WWW Connection. [Citation Graph (0, 0)][DBLP ] APSEC, 2001, pp:345-0 [Conf ] Satoru Uehara , Osamu Mizuno , Tohru Kikuno A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development. [Citation Graph (0, 0)][DBLP ] APSEC, 1999, pp:144-0 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Asian Test Symposium, 2002, pp:272-277 [Conf ] Masayuki Hirayama , Jiro Okayasu , Tetsuya Yamamoto , Osamu Mizuno , Tohru Kikuno Generating test items for checking illegal behaviors in software testing. [Citation Graph (0, 0)][DBLP ] Asian Test Symposium, 2000, pp:235-240 [Conf ] Masayuki Hirayama , Tetsuya Yamamoto , Osamu Mizuno , Tohru Kikuno Analysis of Software Test Item Generation - Comparison between High Skilled and Low Skilled Engineers. [Citation Graph (0, 0)][DBLP ] Asian Test Symposium, 2003, pp:210-215 [Conf ] Osamu Mizuno , Shinji Kusumoto , Tohru Kikuno , Yasunari Takagi , Keishi Sakamoto Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model. [Citation Graph (0, 0)][DBLP ] Asian Test Symposium, 1997, pp:269-0 [Conf ] Shin'ichi Nagano , Hiroyuki Fujita , Yoshiaki Kakuda , Tohru Kikuno Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols. [Citation Graph (0, 0)][DBLP ] Asian Test Symposium, 1998, pp:408-412 [Conf ] Daisuke Teratani , Yoshiaki Kakuda , Tohru Kikuno A New Model with Time Constraints for Conformance Testing of Communication Protocols. [Citation Graph (0, 0)][DBLP ] Asian Test Symposium, 1996, pp:269-0 [Conf ] Shougo Ogata , Tatsuhiro Tsuchiya , Tohru Kikuno SAT-Based Verification of Safe Petri Nets. [Citation Graph (0, 0)][DBLP ] ATVA, 2004, pp:79-92 [Conf ] Takuya Okuyama , Tatsuhiro Tsuchiya , Tohru Kikuno Improving the Robustness of Epidemic Communication in Scale-Free Networks. [Citation Graph (0, 0)][DBLP ] BioADIT, 2006, pp:294-305 [Conf ] Tatsuhiro Tsuchiya , Tohru Kikuno An Adaptive Mechanism for Epidemic Communication. [Citation Graph (0, 0)][DBLP ] BioADIT, 2004, pp:306-316 [Conf ] Nahomi Kikuchi , Osamu Mizuno , Tohru Kikuno Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2000, pp:176-0 [Conf ] Eun Mi Kim , Shinji Kusumoto , Tohru Kikuno , Ok-Bae Chang Heuristics for Computing Attribute Values of C++ Program Complexity Metrics. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1996, pp:104-0 [Conf ] Toshiaki Shiba , Tatsuhiro Tsuchiya , Tohru Kikuno Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2004, pp:72-77 [Conf ] Tatsuhiro Tsuchiya , Hirofumi Terada , Shinji Kusumoto , Tohru Kikuno , Eun Mi Kim Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:232-239 [Conf ] Tatsuhiro Tsuchiya , Hirofumi Terada , Shinji Kusumoto , Tohru Kikuno , Eun Mi Kim Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1997, pp:252-0 [Conf ] Tsuneo Yamaura , Tohru Kikuno A Framework for Top-Down Cost Estimation of Software Development. [Citation Graph (0, 0)][DBLP ] COMPSAC, 1999, pp:322-0 [Conf ] Koji Hashimoto , Tatsuhiro Tsuchiya , Tohru Kikuno Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] DSN, 2000, pp:203-212 [Conf ] Noritaka Kobayashi , Tatsuhiro Tsuchiya , Tohru Kikuno Applicability of Non-Specification-Based Approaches to Logic Testing for Software. [Citation Graph (0, 0)][DBLP ] DSN, 2001, pp:337-346 [Conf ] Yoshiaki Kakuda , Akihiro Inoue , Hiroyuki Asada , Tohru Kikuno , Tadashi Ohta A Dynamic Resolution Method for Feature Interactions and Its Evaluation. [Citation Graph (0, 0)][DBLP ] FIW, 1995, pp:97-114 [Conf ] Masahide Nakamura , Tohru Kikuno , Jameleddine Hassine , Luigi Logrippo Feature Interaction Filtering with Use Case Maps at Requirements Stage. [Citation Graph (0, 0)][DBLP ] FIW, 2000, pp:163-178 [Conf ] Masahide Nakamura , Yoshiaki Kakuda , Tohru Kikuno Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation. [Citation Graph (0, 0)][DBLP ] FIW, 1997, pp:138-152 [Conf ] Masahide Nakamura , Yoshiaki Kakuda , Tohru Kikuno Feature Interaction Detection Using Permutation Symmetry. [Citation Graph (0, 0)][DBLP ] FIW, 1998, pp:187-201 [Conf ] Masahide Nakamura , Pattara Leelaprute , Ken-ichi Matsumoto , Tohru Kikuno Detecting Script-to-Script Interactions in Call Processing Language. [Citation Graph (0, 0)][DBLP ] FIW, 2003, pp:215-230 [Conf ] Yoshiaki Kakuda , Hiroyuki Asada , Tohru Kikuno Application of protocol sythesis technique to resolution of the service interaction problem. [Citation Graph (0, 0)][DBLP ] FORTE, 1994, pp:379-381 [Conf ] Chang Chen , Hiroyuki Asada , Yoshiaki Kakuda , Tohru Kikuno Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. [Citation Graph (0, 0)][DBLP ] FTCS, 1993, pp:66-75 [Conf ] C. Chen , An Feng , Tohru Kikuno , Koji Torii Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors. [Citation Graph (0, 0)][DBLP ] FTCS, 1991, pp:452-461 [Conf ] Koji Hashimoto , Tatsuhiro Tsuchiya , Tohru Kikuno A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. [Citation Graph (0, 0)][DBLP ] FTCS, 1997, pp:174-183 [Conf ] Pattara Leelaprute , Tohru Kikuno , Masahide Nakamura , Ken-ichi Matsumoto Definition and Detection of Semantic Warnings for VoiceXML. [Citation Graph (0, 0)][DBLP ] IASTED Conf. on Software Engineering, 2005, pp:267-275 [Conf ] Kazuo Sugihara , Jun'ichi Miyao , Tohru Kikuno , Noriyoshi Yoshida A Semantic Approach to Usability in Relational Database Systems. [Citation Graph (0, 6)][DBLP ] ICDE, 1984, pp:203-210 [Conf ] Yutaka Hatanaka , Masahide Nakamura , Yoshiaki Kakuda , Tohru Kikuno A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols. [Citation Graph (0, 0)][DBLP ] ICECCS, 1997, pp:96-105 [Conf ] Yoshiaki Kakuda , Shin'ichi Nagano , Tohru Kikuno , Masahiro Terabe VP Reservation for Rapid Restoration Using Multiagents. [Citation Graph (0, 0)][DBLP ] ICECCS, 1998, pp:121-128 [Conf ] Kenji Ishida , Yoshiaki Kakuda , Tohru Kikuno A routing protocol for finding two node-disjoint paths in computer networks. [Citation Graph (0, 0)][DBLP ] ICNP, 1995, pp:340-0 [Conf ] Shin'ichi Nagano , Yoshinori Hatakeyama , Yoshiaki Kakuda , Tohru Kikuno Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation. [Citation Graph (0, 0)][DBLP ] ICNP, 1996, pp:92-0 [Conf ] Takayuki Hamada , Tatsuhiro Tsuchiya , Masahide Nakamura , Tohru Kikuno Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. [Citation Graph (0, 0)][DBLP ] ICOIN (1), 2002, pp:641-651 [Conf ] Eun Hye Choi , Tatsuhiro Tsuchiya , Tohru Kikuno Optimal k-Coteries That Maximize Availability in General Networks. [Citation Graph (0, 0)][DBLP ] ICOIN (2), 2002, pp:596-608 [Conf ] Shinichi Ikeda , Tatsuhiro Tsuchiya , Tohru Kikuno A Decentralized Scheme for Network-Aware Reliable Overlay Construction. [Citation Graph (0, 0)][DBLP ] ICOIN, 2006, pp:955-964 [Conf ] Daisuke Igarashi , Tatsuhiro Tsuchiya , Tohru Kikuno Overlay Network Topologies for Gossip-Based Multicast. [Citation Graph (0, 0)][DBLP ] ICPADS (1), 2005, pp:2-7 [Conf ] Seiya Abe , Osamu Mizuno , Tohru Kikuno , Nahomi Kikuchi , Masayuki Hirayama Estimation of project success using Bayesian classifier. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:600-603 [Conf ] Katsuro Inoue , Takeshi Ogihara , Tohru Kikuno , Koji Torii A Formal Adaptation Method for Process Descriptions. [Citation Graph (0, 0)][DBLP ] ICSE, 1989, pp:145-153 [Conf ] Shinji Kusumoto , Osamu Mizuno , Tohru Kikuno , Yuji Hirayama , Yasunari Takagi , Keishi Sakamoto A New Software Project Simulator Based on Generalized Stochastic Petri-net. [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:293-302 [Conf ] Osamu Mizuno , Tohru Kikuno , Katsumi Inagaki , Yasunari Takagi , Keishi Sakamoto Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity. [Citation Graph (0, 0)][DBLP ] ICSE, 1998, pp:410-419 [Conf ] Osamu Mizuno , Tohru Kikuno , Yasunari Takagi , Keishi Sakamoto Characterization of risky projects based on project managers' evaluation. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:387-395 [Conf ] Toshifumi Tanaka , Keishi Sakamoto , Shinji Kusumoto , Ken-ichi Matsumoto , Tohru Kikuno Improvement of Software Process by Process Description and Benefit Estimation. [Citation Graph (0, 0)][DBLP ] ICSE, 1995, pp:123-132 [Conf ] Lin Lian , Fusayuki Fujita , Shinji Kusumoto , Ken-ichi Matsumoto , Tohru Kikuno , Koji Torii A Model-based Approach for Software Test Process Improvement. [Citation Graph (0, 0)][DBLP ] Software Quality and Productivity, 1994, pp:300-307 [Conf ] Masahide Nakamura , Yoshiaki Kakuda , Tohru Kikuno An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1996, pp:1157-1164 [Conf ] Masahide Nakamura , Yoshiaki Kakuda , Tohru Kikuno Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1997, pp:1253-1260 [Conf ] Masayuki Hirayama , Tetsuya Yamamoto , Jiro Okayasu , Osamu Mizuno , Tohru Kikuno Elimination of Crucial Faults by a New Selective Testing Method. [Citation Graph (0, 0)][DBLP ] ISESE, 2002, pp:183-194 [Conf ] Takeiki Aizono , Tohru Kikuno Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 2000, pp:138-0 [Conf ] Shin'ichi Nagano , Yoshiaki Kakuda , Tohru Kikuno Experience of Responsiveness Verification for Connection Establishment Protocols. [Citation Graph (0, 0)][DBLP ] ISORC, 1998, pp:383-0 [Conf ] Sousuke Amasaki , Yasunari Takagi , Osamu Mizuno , Tohru Kikuno A Bayesian Belief Network for Assessing the Likelihood of Fault Content. [Citation Graph (0, 0)][DBLP ] ISSRE, 2003, pp:215-226 [Conf ] Osamu Mizuno , Eijiro Shigematsu , Yasunari Takagi , Tohru Kikuno On Estimating Testing Effort Needed to Assure Field Quality in Software Development. [Citation Graph (0, 0)][DBLP ] ISSRE, 2002, pp:139-148 [Conf ] Tatsuhiro Tsuchiya , Tohru Kikuno On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast. [Citation Graph (0, 0)][DBLP ] PRDC, 2004, pp:76-83 [Conf ] Tatsuhiro Tsuchiya , Masahide Nakamura , Tohru Kikuno Detecting Feature Interactions in Telecommunication Services with a SAT Solver. [Citation Graph (0, 0)][DBLP ] PRDC, 2002, pp:131-136 [Conf ] Tohru Kikuno Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk. [Citation Graph (0, 0)][DBLP ] PRDC, 2005, pp:4- [Conf ] Sousuke Amasaki , Yasuhiro Hamano , Osamu Mizuno , Tohru Kikuno Characterization of Runaway Software Projects Using Association Rule Mining. [Citation Graph (0, 0)][DBLP ] PROFES, 2006, pp:402-407 [Conf ] Osamu Mizuno , Takanari Hamasaki , Yasunari Takagi , Tohru Kikuno An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification. [Citation Graph (0, 0)][DBLP ] PROFES, 2004, pp:263-273 [Conf ] Shin'ichi Nagano , Tohru Kikuno Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols. [Citation Graph (0, 0)][DBLP ] RTCSA, 1998, pp:195-199 [Conf ] Tatsuhiro Tsuchiya , Yoshiaki Kakuda , Tohru Kikuno A new fault-tolerant scheduling technique for real-time multiprocessor systems. [Citation Graph (0, 0)][DBLP ] RTCSA, 1995, pp:197-202 [Conf ] Masahide Nakamura , Pattara Leelaprute , Ken-ichi Matsumoto , Tohru Kikuno Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony. [Citation Graph (0, 0)][DBLP ] SAINT, 2003, pp:283-291 [Conf ] Koji Hashimoto , Tatsuhiro Tsuchiya , Tohru Kikuno A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1998, pp:186-194 [Conf ] An Feng , Tohru Kikuno , Koji Torii Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments. [Citation Graph (0, 0)][DBLP ] WAGA, 1990, pp:192-206 [Conf ] Masahide Nakamura , Pattara Leelaprute , Tohru Kikuno Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps. [Citation Graph (0, 0)][DBLP ] WORDS, 2002, pp:237-244 [Conf ] Satoru Uehara , Osamu Mizuno , Tohru Kikuno An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology. [Citation Graph (0, 0)][DBLP ] WORDS, 2001, pp:77-84 [Conf ] Tatsuhiro Tsuchiya , Tohru Kikuno Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks. [Citation Graph (0, 0)][DBLP ] Comput. J., 1999, v:42, n:7, pp:613-622 [Journal ] Masahide Nakamura , Pattara Leelaprute , Ken-ichi Matsumoto , Tohru Kikuno On detecting feature interactions in the programmable service environment of Internet telephony. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2004, v:45, n:5, pp:605-624 [Journal ] Masahide Nakamura , Yoshiaki Kakuda , Tohru Kikuno On constructing communication protocols from component-based service specifications. [Citation Graph (0, 0)][DBLP ] Computer Communications, 1996, v:19, n:14, pp:1200-1215 [Journal ] Tatsuhiro Tsuchiya , Shinichi Ikeda , Tohru Kikuno Counter-based reliability optimization for gossip-based broadcasting. [Citation Graph (0, 0)][DBLP ] Computer Communications, 2006, v:29, n:9, pp:1516-1521 [Journal ] Yoshiaki Kakuda , Hideki Yukitomo , Shinji Kusumoto , Tohru Kikuno Localizing Multiple Faults in a Protocol Implementation. [Citation Graph (0, 0)][DBLP ] IEEE Design & Test of Computers, 1995, v:12, n:3, pp:34-42 [Journal ] Yasunari Takagi , Osamu Mizuno , Tohru Kikuno An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis. [Citation Graph (0, 0)][DBLP ] Empirical Software Engineering, 2005, v:10, n:4, pp:495-515 [Journal ] Kenji Ishida , Yoshiaki Kakuda , Masahide Nakamura , Tohru Kikuno , Kitsutaro Amano A protocol synthesis method for fault-tolerant multipath routing. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:11-12, pp:745-754 [Journal ] Noritaka Kobayashi , Tatsuhiro Tsuchiya , Tohru Kikuno Non-specification-based approaches to logic testing for software. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2002, v:44, n:2, pp:113-121 [Journal ] Osamu Mizuno , Tohru Kikuno , Katsumi Inagaki , Yasunari Takagi , Keishi Sakamoto Statistical analysis of deviation of actual cost from estimated cost using actual project data. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2000, v:42, n:7, pp:465-473 [Journal ] Lin Lian , Shinji Kusumoto , Tohru Kikuno , Ken-ichi Matsumoto , Koji Torii A new fault localizing method for the program debugging process. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1997, v:39, n:4, pp:271-284 [Journal ] Masahide Nakamura , Tohru Kikuno A new approach in feature interaction testing. [Citation Graph (0, 0)][DBLP ] Integration, 1998, v:26, n:1-2, pp:211-223 [Journal ] Noritaka Kobayashi , Tatsuhiro Tsuchiya , Tohru Kikuno A new method for constructing pair-wise covering designs for software testing. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2002, v:81, n:2, pp:85-91 [Journal ] Tatsuhiro Tsuchiya , Nobuhiko Ido , Tohru Kikuno Constructing Byzantine Quorum Systems from Combinatorial Designs. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1999, v:71, n:1, pp:35-42 [Journal ] Tatsuhiro Tsuchiya , Tohru Kikuno Byzantine quorum systems with maximum availability. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2002, v:83, n:2, pp:71-77 [Journal ] Masayuki Hirayama , Osamu Mizuno , Tohru Kikuno Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers. [Citation Graph (0, 0)][DBLP ] J. Comput. Sci. Technol., 2005, v:20, n:2, pp:250-257 [Journal ] Koji Hashimoto , Tatsuhiro Tsuchiya , Tohru Kikuno A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2000, v:53, n:2, pp:159-171 [Journal ] Noritaka Kobayashi , Tatsuhiro Tsuchiya , Tohru Kikuno Minimizing the mean delay of quorum-based mutual exclusion schemes. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 2001, v:58, n:1, pp:1-9 [Journal ] Shinji Kusumoto , Atsushi Chimura , Tohru Kikuno , Ken-ichi Matsumoto , Yukio Mohri A promising approach to two-person software review in educational environment. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1998, v:40, n:2, pp:115-123 [Journal ] Shinji Kusumoto , Tohru Kikuno , Ken-ichi Matsumoto , Koji Torii Experimental Evaluation of Time Allocation Procedure for Technical Reviews. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1996, v:35, n:2, pp:119-126 [Journal ] Yoshiaki Kakuda , Tohru Kikuno , Kenichi Kawashima Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines. [Citation Graph (0, 0)][DBLP ] Real-Time Systems, 1994, v:7, n:3, pp:275-289 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Systems and Computers in Japan, 2003, v:34, n:3, pp:53-63 [Journal ] Sousuke Amasaki , Takashi Yoshitomi , Osamu Mizuno , Yasunari Takagi , Tohru Kikuno A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation. [Citation Graph (0, 0)][DBLP ] Software Quality Journal, 2005, v:13, n:2, pp:177-193 [Journal ] Takashi Fujii , Hideya Horikawa , Tohru Kikuno , Noriyoshi Yoshida A Heuristic Algorithm for Gate Assignment in One-Dimensional Array Approach. [Citation Graph (0, 0)][DBLP ] IEEE Trans. on CAD of Integrated Circuits and Systems, 1987, v:6, n:2, pp:159-164 [Journal ] Tatsuhiro Tsuchiya , Tohru Kikuno On fault classes and error detection capability of specification-based testing. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:1, pp:58-62 [Journal ] Tatsuhiro Tsuchiya , Shin'ichi Nagano , Rohayu Bt Paidi , Tohru Kikuno Symbolic Model Checking for Self-Stabilizing Algorithms. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 2001, v:12, n:1, pp:81-95 [Journal ] Tatsuhiro Tsuchiya , Masatoshi Yamaguchi , Tohru Kikuno Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:4, pp:337-345 [Journal ] Kazuo Sugihara , Tohru Kikuno , Noriyoshi Yoshida A Meeting Scheduler for Office Automation. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1989, v:15, n:10, pp:1141-1146 [Journal ] Osamu Mizuno , Shiro Ikami , Shuya Nakaichi , Tohru Kikuno Spam Filter Based Approach for Finding Fault-Prone Software Modules. [Citation Graph (0, 0)][DBLP ] MSR, 2007, pp:4- [Conf ] Fuminori Makikawa , Takafumi Matsuo , Tatsuhiro Tsuchiya , Tohru Kikuno Constructing Overlay Networks with Low Link Costs and Short Paths. [Citation Graph (0, 0)][DBLP ] NCA, 2007, pp:299-304 [Conf ] TheinLai Wong , Tatsuhiro Tsuchiya , Tohru Kikuno A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks. [Citation Graph (0, 0)][DBLP ] Parallel and Distributed Computing and Networks, 2007, pp:7-12 [Conf ] Osamu Mizuno , Tohru Kikuno Training on errors experiment to detect fault-prone software modules by spam filter. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2007, pp:405-414 [Conf ] Towards Automated Verification of Distributed Consensus Protocols. [Citation Graph (, )][DBLP ] On Deriving Actions for Improving Cost Overrun by Applying Association Rule Mining to Industrial Project Repository. [Citation Graph (, )][DBLP ] Comparative Study of Fault-Proneness Filtering with PMD. [Citation Graph (, )][DBLP ] An extension of fault-prone filtering using precise training and a dynamic threshold. [Citation Graph (, )][DBLP ] FAVE: factor analysis based approach for detecting product line variability from change history. [Citation Graph (, )][DBLP ] Using the NuSMV Model Checker for Test Generation from Statecharts. [Citation Graph (, )][DBLP ] Finding the Optimal Configuration of a Cascading TMR System. [Citation Graph (, )][DBLP ] Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. [Citation Graph (, )][DBLP ] Detecting Feature Interactions in Home Appliance Networks. [Citation Graph (, )][DBLP ] A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System. [Citation Graph (, )][DBLP ] Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique. [Citation Graph (, )][DBLP ] Pairwise Testing in the Presence of Configuration Change Cost. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.613secs