Tohru Kikuno

159 papers A* 10A 11B 21C 20Misc 3Journal 52Unranked 42
YearRankTypeTitle / Venue / Authors
2013 C conf
Software reconstruction and module management for distributed processing of train control.
ISADS
Hirofumi Terada, Yutaka Sato, Tatsuhiro Tsuchiya, Tohru Kikuno
2012 A* conf
Bug prediction based on fine-grained module histories.
ICSE
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
2012 C conf
Safety Verification of Asynchronous Consensus Algorithms with Model Checking.
PRDC
Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno
2012 J jnl
Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
2011 Misc conf
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables.
ICNC
Hiroyuki Inoue, Tatsuhiro Tsuchiya, Tohru Kikuno
2011 Misc conf
Constructing Test Sets for Pairwise Testing: A SAT-Based Approach.
ICNC
Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno
2011 C conf
Gossiping with Network Coding.
PRDC
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
2011 — conf
Historage: fine-grained version control system for Java.
EVOL/IWPSE
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
2010 Misc conf
Balance and Proximity-Aware Skip Graph Construction.
ICNC
Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2010 J jnl
Constructing Overlay Networks with Short Paths and Low Communication Cost.
IEICE Trans. Inf. Syst.
Fuminori Makikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2010 J jnl
Fault-prone module detection using large-scale text features based on spam filtering.
Empir. Softw. Eng.
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
2010 C conf
On the Reliability of Cascaded TMR Systems.
PRDC
Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
2010 J jnl
The Time Complexity of Hsu and Huang's Self-Stabilizing Maximal Matching Algorithm.
IEICE Trans. Inf. Syst.
Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2009 J jnl
Explanation vs Performance in Data Mining: A Case Study with Predicting Runaway Projects.
J. Softw. Eng. Appl.
Tim Menzies, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno
2009 J jnl
Feature Interaction Verification Using Unbounded Model Checking with Interpolation.
IEICE Trans. Inf. Syst.
Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
2009 J jnl
On the Time Complexity of Dijkstra's Three-State Mutual Exclusion Algorithm.
IEICE Trans. Inf. Syst.
Masahiro Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2009 J jnl
Probabilistic Model Checking of the One-Dimensional Ising Model.
IEICE Trans. Inf. Syst.
Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi, Tohru Kikuno
2009 C conf
Towards Automated Verification of Distributed Consensus Protocols.
APSEC
Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2009 C conf
Using the NuSMV Model Checker for Test Generation from Statecharts.
PRDC
Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno
2008 — conf
A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System.
SPLC (2)
Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno
2008 J jnl
A self-organising algorithm for sensor placement in wireless mobile microsensor networks.
Int. J. Wirel. Mob. Comput.
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2008 A conf
An extension of fault-prone filtering using precise training and a dynamic threshold.
MSR
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
2008 A conf
Comparative Study of Fault-Proneness Filtering with PMD.
ISSRE
Hideaki Hata, Osamu Mizuno, Tohru Kikuno
2008 C conf
Detecting Feature Interactions in Home Appliance Networks.
SNPD
Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
2008 A conf
FAVE: factor analysis based approach for detecting product line variability from change history.
MSR
Kentaro Yoshimura, Fumio Narisawa, Koji Hashimoto, Tohru Kikuno
2008 C conf
Finding the Optimal Configuration of a Cascading TMR System.
PRDC
Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
2008 C conf
Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms.
PRDC
Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2008 — conf
On Deriving Actions for Improving Cost Overrun by Applying Association Rule Mining to Industrial Project Repository.
ICSP
Junya Debari, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama
2008 — conf
Pairwise Testing in the Presence of Configuration Change Cost.
SSIRI
Shin Kimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2008 J jnl
Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator.
IEICE Trans. Inf. Syst.
Osamu Mizuno, Tohru Kikuno
2007 — conf
A localized broadcast scheme for minimizing power consumption in wireless mobile ad hoc networks.
Parallel and Distributed Computing and Networks
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2007 J jnl
An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power.
IEICE Trans. Inf. Syst.
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2007 B conf
Constructing Overlay Networks with Low Link Costs and Short Paths.
NCA
Fuminori Makikawa, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno
2007 A conf
Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique.
ESEM
Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno
2007 A conf
Spam Filter Based Approach for Finding Fault-Prone Software Modules.
MSR
Osamu Mizuno, Shiro Ikami, Shuya Nakaichi, Tohru Kikuno
2007 — conf
Training on errors experiment to detect fault-prone software modules by spam filter.
ESEC/SIGSOFT FSE
Osamu Mizuno, Tohru Kikuno
2006 — conf
A Decentralized Scheme for Network-Aware Reliable Overlay Construction.
ICOIN
Shinichi Ikeda, Tatsuhiro Tsuchiya, Tohru Kikuno
2006 B conf
Characterization of Runaway Software Projects Using Association Rule Mining.
PROFES
Sousuke Amasaki, Yasuhiro Hamano, Osamu Mizuno, Tohru Kikuno
2006 J jnl
Counter-based reliability optimization for gossip-based broadcasting.
Comput. Commun.
Tatsuhiro Tsuchiya, Shinichi Ikeda, Tohru Kikuno
2006 A* conf
Estimation of project success using Bayesian classifier.
ICSE
Seiya Abe, Osamu Mizuno, Tohru Kikuno, Nahomi Kikuchi, Masayuki Hirayama
2006 — conf
Improving the Robustness of Epidemic Communication in Scale-Free Networks.
BioADIT
Takuya Okuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
2005 J jnl
A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation.
Softw. Qual. J.
Sousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Yasunari Takagi, Tohru Kikuno
2005 J jnl
An Effective Testing Method for Hardware Related Fault in Embedded Software.
IEICE Trans. Inf. Syst.
Takeshi Sumi, Osamu Mizuno, Tohru Kikuno, Masayuki Hirayama
2005 J jnl
An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis.
Empir. Softw. Eng.
Yasunari Takagi, Osamu Mizuno, Tohru Kikuno
2005 J jnl
Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers.
J. Comput. Sci. Technol.
Masayuki Hirayama, Osamu Mizuno, Tohru Kikuno
2005 J jnl
Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development.
IEICE Trans. Inf. Syst.
Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno
2005 — conf
Definition and Detection of Semantic Warnings for VoiceXML.
IASTED Conf. on Software Engineering
Pattara Leelaprute, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto
2005 C conf
Describing and Verifying Integrated Services of Home Network Systems.
APSEC
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Ken-ichi Matsumoto
2005 — conf
Overlay Network Topologies for Gossip-Based Multicast.
ICPADS (1)
Daisuke Igarashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2005 C conf
Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk.
PRDC
Tohru Kikuno
2004 — conf
A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks.
AINA (1)
TheinLai Wong, Tatsuhiro Tsuchiya, Tohru Kikuno
2004 — conf
An Adaptive Mechanism for Epidemic Communication.
BioADIT
Tatsuhiro Tsuchiya, Tohru Kikuno
2004 B conf
An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification.
PROFES
Osamu Mizuno, Takanari Hamasaki, Yasunari Takagi, Tohru Kikuno
2004 J jnl
On detecting feature interactions in the programmable service environment of Internet telephony.
Comput. Networks
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno
2004 C conf
On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast.
PRDC
Tatsuhiro Tsuchiya, Tohru Kikuno
2004 B conf
SAT-Based Verification of Safe Petri Nets.
ATVA
Shougo Ogata, Tatsuhiro Tsuchiya, Tohru Kikuno
2004 J jnl
Test Item Prioritizing Metrics for Selective Software Testing.
IEICE Trans. Inf. Syst.
Masayuki Hirayama, Osamu Mizuno, Tohru Kikuno
2004 B conf
Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing.
COMPSAC
Toshiaki Shiba, Tatsuhiro Tsuchiya, Tohru Kikuno
2003 A conf
A Bayesian Belief Network for Assessing the Likelihood of Fault Content.
ISSRE
Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, Tohru Kikuno
2003 — conf
Analysis of Software Test Item Generation - Comparison between High Skilled and Low Skilled Engineers.
Asian Test Symposium
Masayuki Hirayama, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno
2003 J jnl
Design of a new mechanism for context data storage on Web systems and its implementation using component-object technology.
Syst. Comput. Jpn.
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
2003 — conf
Detecting Script-to-Script Interactions in Call Processing Language.
FIW
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno
2003 C conf
Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment.
APSEC
Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno
2003 — conf
Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony.
SAINT
Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, Tohru Kikuno
2002 J jnl
A new method for constructing pair-wise covering designs for software testing.
Inf. Process. Lett.
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002 J jnl
Byzantine quorum systems with maximum availability.
Inf. Process. Lett.
Tatsuhiro Tsuchiya, Tohru Kikuno
2002 — conf
Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps.
WORDS
Masahide Nakamura, Pattara Leelaprute, Tohru Kikuno
2002 C conf
Detecting Feature Interactions in Telecommunication Services with a SAT Solver.
PRDC
Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
2002 — conf
Elimination of Crucial Faults by a New Selective Testing Method.
ISESE
Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno
2002 J jnl
New 2-Factor Covering Designs for Software Testing.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002 J jnl
Non-specification-based approaches to logic testing for software.
Inf. Softw. Technol.
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002 A conf
On Estimating Testing Effort Needed to Assure Field Quality in Software Development.
ISSRE
Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, Tohru Kikuno
2002 J jnl
On fault classes and error detection capability of specification-based testing.
ACM Trans. Softw. Eng. Methodol.
Tatsuhiro Tsuchiya, Tohru Kikuno
2002 — conf
Optimal k-Coteries That Maximize Availability in General Networks.
ICOIN (2)
Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
2002 — conf
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
Sousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Tohru Kikuno, Yasunari Takagi
2002 — conf
Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.
ICOIN (1)
Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno
2002 J jnl
Verifying Fault Tolerance of Concurrent Systems by Model Checking.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tohru Kikuno
2001 — conf
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules.
APAQS
Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno
2001 — conf
An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology.
WORDS
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
2001 A conf
Applicability of Non-Specification-Based Approaches to Logic Testing for Software.
DSN
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2001 C conf
Development of Session Management Mechanism for Cellular Phone with WWW Connection.
APSEC
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
2001 C conf
Improving the Testing Process by Program Static Analysis.
APSEC
Nahomi Kikuchi, Tohru Kikuno
2001 J jnl
Minimizing the mean delay of quorum-based mutual exclusion schemes.
J. Syst. Softw.
Noritaka Kobayashi, Tatsuhiro Tsuchiya, Tohru Kikuno
2001 — conf
On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire.
APAQS
Osamu Mizuno, Takuya Adachi, Tohru Kikuno, Yasunari Takagi
2001 J jnl
Symbolic Model Checking for Self-Stabilizing Algorithms.
IEEE Trans. Parallel Distributed Syst.
Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno
2000 J jnl
A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems.
J. Syst. Softw.
Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2000 A* conf
Characterization of risky projects based on project managers' evaluation.
ICSE
Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto
2000 A conf
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems.
DSN
Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
2000 — conf
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
FIW
Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, Luigi Logrippo
2000 — conf
Generating test items for checking illegal behaviors in software testing.
Asian Test Symposium
Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno
2000 B conf
Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software.
COMPSAC
Nahomi Kikuchi, Osamu Mizuno, Tohru Kikuno
2000 C conf
Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems.
ISORC
Takeiki Aizono, Tohru Kikuno
2000 J jnl
Statistical analysis of deviation of actual cost from estimated cost using actual project data.
Inf. Softw. Technol.
Osamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto
1999 B conf
A Framework for Top-Down Cost Estimation of Software Development.
COMPSAC
Tsuneo Yamaura, Tohru Kikuno
1999 C conf
A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development.
APSEC
Satoru Uehara, Osamu Mizuno, Tohru Kikuno
1999 J jnl
A protocol synthesis method for fault-tolerant multipath routing.
Inf. Softw. Technol.
Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, Kitsutaro Amano
1999 — conf
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.)
Satoru Uehara, Osamu Mizuno, Yumi Itou, Tohru Kikuno
1999 J jnl
Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks.
Comput. J.
Tatsuhiro Tsuchiya, Tohru Kikuno
1999 J jnl
Constructing Byzantine Quorum Systems from Combinatorial Designs.
Inf. Process. Lett.
Tatsuhiro Tsuchiya, Nobuhiko Ido, Tohru Kikuno
1999 J jnl
Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes.
IEEE Trans. Parallel Distributed Syst.
Tatsuhiro Tsuchiya, Masatoshi Yamaguchi, Tohru Kikuno
1999 — conf
On the availability of k-coteries in networks with unreliable nodes and links.
WORDS (Jan.)
Eun Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
1998 B conf
A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance.
SRDS
Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
1998 J jnl
A new approach in feature interaction testing.
Integr.
Masahide Nakamura, Tohru Kikuno
1998 J jnl
A promising approach to two-person software review in educational environment.
J. Syst. Softw.
Shinji Kusumoto, Atsushi Chimura, Tohru Kikuno, Ken-ichi Matsumoto, Yukio Mohri
1998 A* conf
Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity.
ICSE
Osamu Mizuno, Tohru Kikuno, Katsumi Inagaki, Yasunari Takagi, Keishi Sakamoto
1998 — conf
Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols.
Asian Test Symposium
Shin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno
1998 C conf
Experience of Responsiveness Verification for Connection Establishment Protocols.
ISORC
Shin'ichi Nagano, Yoshiaki Kakuda, Tohru Kikuno
1998 B conf
Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.
RTCSA
Shin'ichi Nagano, Tohru Kikuno
1998 — conf
Feature Interaction Detection Using Permutation Symmetry.
FIW
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
1998 J jnl
Genetics-based multiprocessor scheduling using task duplication.
Microprocess. Microsystems
Tatsuhiro Tsuchiya, Tetsuya Osada, Tohru Kikuno
1998 B conf
VP Reservation for Rapid Restoration Using Multiagents.
ICECCS
Yoshiaki Kakuda, Shin'ichi Nagano, Tohru Kikuno, Masahiro Terabe
1997 — conf
A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy.
FTCS
Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
1997 A* conf
A New Software Project Simulator Based on Generalized Stochastic Petri-net.
ICSE
Shinji Kusumoto, Osamu Mizuno, Tohru Kikuno, Yuji Hirayama, Yasunari Takagi, Keishi Sakamoto
1997 B conf
A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols.
ICECCS
Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
1997 J jnl
A new fault localizing method for the program debugging process.
Inf. Softw. Technol.
Lin Lian, Shinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, Koji Torii
1997 — conf
An approach to safety verification of object-oriented design specification for an elevator control system.
WORDS
Eun Mi Kim, Shinji Kusumoto, Tatsuhiro Tsuchiya, Tohru Kikuno
1997 A* conf
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model.
INFOCOM
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
1997 B conf
Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.
COMPSAC
Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim
1997 — conf
Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model.
Asian Test Symposium
Osamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto
1997 — conf
Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation.
FIW
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
1996 — conf
A New Model with Time Constraints for Conformance Testing of Communication Protocols.
Asian Test Symposium
Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno
1996 A* conf
An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications.
INFOCOM
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
1996 J jnl
Experimental Evaluation of Time Allocation Procedure for Technical Reviews.
J. Syst. Softw.
Shinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, Koji Torii
1996 B conf
Heuristics for Computing Attribute Values of C++ Program Complexity Metrics.
COMPSAC
Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno, Ok-Bae Chang
1996 J jnl
Modeling and evaluation of responsive multiprocessor systems.
Syst. Comput. Jpn.
Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno
1996 J jnl
On constructing communication protocols from component-based service specifications.
Comput. Commun.
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
1996 B conf
Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.
ICNP
Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno
1995 — conf
A Dynamic Resolution Method for Feature Interactions and Its Evaluation.
FIW
Yoshiaki Kakuda, Akihiro Inoue, Hiroyuki Asada, Tohru Kikuno, Tadashi Ohta
1995 J jnl
A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols.
IEICE Trans. Inf. Syst.
Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno
1995 B conf
A new fault-tolerant scheduling technique for real-time multiprocessor systems.
RTCSA
Tatsuhiro Tsuchiya, Yoshiaki Kakuda, Tohru Kikuno
1995 B conf
A routing protocol for finding two node-disjoint paths in computer networks.
ICNP
Kenji Ishida, Yoshiaki Kakuda, Tohru Kikuno
1995 A conf
An approach to safety and correctness verification of software design specification.
ISSRE
Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno
1995 A conf
Analysis of review's effectiveness based on software metrics.
ISSRE
Yasunari Takagi, Toshifumi Tanaka, Naoki Niihara, Keishi Sakamoto, Shinji Kusumoto, Tohru Kikuno
1995 A* conf
Improvement of Software Process by Process Description and Benefit Estimation.
ICSE
Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno
1995 J jnl
Localizing Multiple Faults in a Protocol Implementation.
IEEE Des. Test Comput.
Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno
1994 — conf
A Model-based Approach for Software Test Process Improvement.
Software Quality and Productivity
Lin Lian, Fusayuki Fujita, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii
1994 B conf
Analysis of metrics for object-oriented program complexity.
COMPSAC
Eun Mi Kim, Ok-Bae Chang, Shinji Kusumoto, Tohru Kikuno
1994 C conf
Application of protocol sythesis technique to resolution of the service interaction problem.
FORTE
Yoshiaki Kakuda, Hiroyuki Asada, Tohru Kikuno
1994 J jnl
Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines.
Real Time Syst.
Yoshiaki Kakuda, Tohru Kikuno, Kenichi Kawashima
1994 B conf
Automated synthesis of protocol specifications with message collisions and verification of timeliness.
ICNP
Yoshiaki Kakuda, Hirotaka Igarashi, Tohru Kikuno
1993 — conf
A new framework of measuring software development processes.
IEEE METRICS
Ken-ichi Matsumoto, Shinji Kusumoto, Tohru Kikuno, Koji Torii
1993 — conf
Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites.
FTCS
Chang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno
1991 B conf
Experimental evaluation of the cost effectiveness of software reviews.
COMPSAC
Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, Koji Torii
1991 B conf
Fault analysis based on fault reporting in JSP software development.
COMPSAC
Yukio Mohri, Tohru Kikuno
1991 — conf
Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors.
FTCS
C. Chen, An Feng, Tohru Kikuno, Koji Torii
1990 — conf
Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments.
WAGA
An Feng, Tohru Kikuno, Koji Torii
1989 A* conf
A Formal Adaptation Method for Process Descriptions.
ICSE
Katsuro Inoue, Takeshi Ogihara, Tohru Kikuno, Koji Torii
1989 J jnl
A Meeting Scheduler for Office Automation.
IEEE Trans. Software Eng.
Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida
1988 — conf
Experimental evaluation of software reliability growth models.
FTCS
Ken-ichi Matsumoto, Katsuro Inoue, Tohru Kikuno, Koji Torii
1988 J jnl
Optimization of Multiple Queries in Relational Database Systems.
Syst. Comput. Jpn.
Jun'ichi Miyao, Kazuyuki Tominaga, Tohru Kikuno, Noriyoshi Yoshida
1987 J jnl
A Heuristic Algorithm for Gate Assignment in One-Dimensional Array Approach.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Takashi Fujii, Hideya Horikawa, Tohru Kikuno, Noriyoshi Yoshida
1987 J jnl
Response time minimization for processing simple queries in star networks.
Syst. Comput. Jpn.
Jun'ichi Miyao, Tohru Kikuno, Noriyoshi Yoshida
1985 J jnl
Design of hardware algorithms by recurrence relations.
Syst. Comput. Jpn.
Shin'ichi Wakabayashi, Tohru Kikuno, Noriyoshi Yoshida
1985 J jnl
Feasibility problem for meeting timetable rearrangement.
Syst. Comput. Jpn.
Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida, Kazunori Arame
1984 — conf
A Distributed Algorithm for Deadlock Detection and Resolution.
Symposium on Reliability in Distributed Software and Database Systems
Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida, Masanobu Ogata
1984 A* conf
A Semantic Approach to Usability in Relational Database Systems.
ICDE
Kazuo Sugihara, Jun'ichi Miyao, Tohru Kikuno, Noriyoshi Yoshida
1983 J jnl
A linear algorithm for the domination number of a series-parallel graph.
Discret. Appl. Math.
Tohru Kikuno, Noriyoshi Yoshida, Yoshiaki Kakuda
1980 J jnl
NP-completeness of some type of p-center problem.
Discret. Appl. Math.
Tohru Kikuno, Noriyoshi Yoshida, Yoshiaki Kakuda
1979 B conf
A fast selective traversal algorithm for binary search trees.
COMPSAC
Tohru Kikuno, Noriyoshi Yoshida, Hiromi Kusumoto