Tohru Kikuno

Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2007

Constructing Overlay Networks with Low Link Costs and Short Paths.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Spam Filter Based Approach for Finding Fault-Prone Software Modules.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Mining Software Repositories, 2007

Fault-Prone Filtering: Detection of Fault-Prone Modules Using Spam Filtering Technique.

[BibT_eX]

[DOI]

Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

2006

Counter-based reliability optimization for gossip-based broadcasting.

[BibT_eX]

[DOI]

Shinichi Ikeda

Comput. Commun., 2006

Characterization of Runaway Software Projects Using Association Rule Mining.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement, 2006

Estimation of project success using Bayesian classifier.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A Decentralized Scheme for Network-Aware Reliable Overlay Construction.

[BibT_eX]

[DOI]

Shinichi Ikeda

Proceedings of the Information Networking, 2006

Improving the Robustness of Epidemic Communication in Scale-Free Networks.

[BibT_eX]

[DOI]

Takuya Okuyama

Proceedings of the Biologically Inspired Approaches to Advanced Information Technology, 2006

2005

A New Challenge for Applying Time Series Metrics Data to Software Quality Estimation.

[BibT_eX]

[DOI]

Softw. Qual. J., 2005

Analysis of Software Test Item Generation - Comparison Between High Skilled and Low Skilled Engineers.

[BibT_eX]

[DOI]

Masayuki Hirayama

J. Comput. Sci. Technol., 2005

An Effective Testing Method for Hardware Related Fault in Embedded Software.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2005

Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2005

An Empirical Approach to Characterizing Risky Software Projects Based on Logistic Regression Analysis.

[BibT_eX]

[DOI]

Yasunari Takagi

Empir. Softw. Eng., 2005

Why Do Software Projects Fail? Reasons and a Solution Using a Bayesian Classifier to Predict Potential Risk.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

Overlay Network Topologies for Gossip-Based Multicast.

[BibT_eX]

[DOI]

Daisuke Igarashi

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Definition and Detection of Semantic Warnings for VoiceXML.

[BibT_eX]

Proceedings of the IASTED International Conference on Software Engineering, 2005

Describing and Verifying Integrated Services of Home Network Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Test Item Prioritizing Metrics for Selective Software Testing.

[BibT_eX]

[DOI]

Masayuki Hirayama

IEICE Trans. Inf. Syst., 2004

On detecting feature interactions in the programmable service environment of Internet telephony.

[BibT_eX]

[DOI]

Comput. Networks, 2004

An Empirical Evaluation of Predicting Runaway Software Projects Using Bayesian Classification.

[BibT_eX]

[DOI]

Proceedings of the Product Focused Software Process Improvement, 2004

On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing.

[BibT_eX]

[DOI]

Toshiaki Shiba

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

An Adaptive Mechanism for Epidemic Communication.

[BibT_eX]

[DOI]

Proceedings of the Biologically Inspired Approaches to Advanced Information Technology, 2004

SAT-Based Verification of Safe Petri Nets.

[BibT_eX]

[DOI]

Shougo Ogata

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

A Self-organizing Technique for Sensor Placement in Wireless Micro-Sensor Networks.

[BibT_eX]

[DOI]

TheinLai Wong

Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2003

Design of a new mechanism for context data storage on Web systems and its implementation using component-object technology.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 2003

Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony.

[BibT_eX]

[DOI]

Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003

A Bayesian Belief Network for Assessing the Likelihood of Fault Content.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Detecting Script-to-Script Interactions in Call Processing Language.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Analysis of Software Test Item Generation - Comparison between High Skilled and Low Skilled Engineers.

[BibT_eX]

[DOI]

Proceedings of the 12th Asian Test Symposium (ATS 2003), 17-19 November 2003, Xian, China, 2003

Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment.

[BibT_eX]

[DOI]

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

On fault classes and error detection capability of specification-based testing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

Byzantine quorum systems with maximum availability.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

A new method for constructing pair-wise covering designs for software testing.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

Non-specification-based approaches to logic testing for software.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2002

Verifying Fault Tolerance of Concurrent Systems by Model Checking.

[BibT_eX]

[DOI]

Tomoyuki Yokogawa

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

New 2-Factor Covering Designs for Software Testing.

[BibT_eX]

[DOI]

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

Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps.

[BibT_eX]

[DOI]

Pattara Leelaprute

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Detecting Feature Interactions in Telecommunication Services with a SAT Solver.

[BibT_eX]

[DOI]

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

On Estimating Testing Effort Needed to Assure Field Quality in Software Development.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Elimination of Crucial Faults by a New Selective Testing Method.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Symposium on Empirical Software Engineering (ISESE 2002), 2002

Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services.

[BibT_eX]

[DOI]

Proceedings of the Information Networking, 2002

Optimal k-Coteries That Maximize Availability in General Networks.

[BibT_eX]

[DOI]

Eun Hye Choi

Proceedings of the Information Networking, 2002

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.

[BibT_eX]

[DOI]

Proceedings of the 11th Asian Test Symposium (ATS 2002), 18-20 November 2002, Guam, USA, 2002

2001

Symbolic Model Checking for Self-Stabilizing Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2001

Minimizing the mean delay of quorum-based mutual exclusion schemes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2001

An Implementation of Electronic Shopping Cart on the Web System using Component-Object Technology.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Applicability of Non-Specification-Based Approaches to Logic Testing for Software.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Development of Session Management Mechanism for Cellular Phone with WWW Connection.

[BibT_eX]

[DOI]

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

Improving the Testing Process by Program Static Analysis.

[BibT_eX]

[DOI]

Nahomi Kikuchi

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

On Prediction of Cost and Duration for Risky Software Projects Based on Risk Questionnaire.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

A Selective Software Testing Method Based on Priorities Assigned to Functional Modules.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

A new approach to fault-tolerant scheduling using task duplication in multiprocessor systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2000

Statistical analysis of deviation of actual cost from estimated cost using actual project data.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2000

Intelligent Scheduling based on Start Time Adjustment for Advanced Sequential Control Systems.

[BibT_eX]

[DOI]

Takeiki Aizono

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Characterization of risky projects based on project managers' evaluation.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Feature Interaction Filtering with Use Case Maps at Requirements Stage.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Identifying Key Attributes of Projects that Affect the Field Quality of Communication Software.

[BibT_eX]

[DOI]

Nahomi Kikuchi

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

Generating test items for checking illegal behaviors in software testing.

[BibT_eX]

[DOI]

Proceedings of the 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, 2000

1999

Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes.

[BibT_eX]

[DOI]

Masatoshi Yamaguchi

IEEE Trans. Parallel Distributed Syst., 1999

Constructing Byzantine Quorum Systems from Combinatorial Designs.

[BibT_eX]

[DOI]

Nobuhiko Ido

Inf. Process. Lett., 1999

A protocol synthesis method for fault-tolerant multipath routing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1999

Availability Evaluation of Quorum-Based Mutual Exclusion Schemes in General Topology Networks.

[BibT_eX]

[DOI]

Comput. J., 1999

An MVC-based analysis of object-oriented system prototyping for banking related GUI applications-correlationship between OO metrics and efforts for requirement change.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

On the availability of k-coteries in networks with unreliable nodes and links.

[BibT_eX]

[DOI]

Eun Hye Choi

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

A Framework for Top-Down Cost Estimation of Software Development.

[BibT_eX]

[DOI]

Tsuneo Yamaura

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

A Straightforward Approach to Effort Estimation for Updating Programs in Object-Oriented Prototyping Development.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

Genetics-based multiprocessor scheduling using task duplication.

[BibT_eX]

[DOI]

Tetsuya Osada

Microprocess. Microsystems, 1998

A promising approach to two-person software review in educational environment.

[BibT_eX]

[DOI]

J. Syst. Softw., 1998

A new approach in feature interaction testing.

[BibT_eX]

[DOI]

Integr., 1998

A Multiprocessor Scheduling Algorithm for Low Overhead Fault-Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Experimental Evaluation of Simplified Verification Methods for Responsive Communication Protocols.

[BibT_eX]

[DOI]

Shin'ichi Nagano

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Experience of Responsiveness Verification for Connection Establishment Protocols.

[BibT_eX]

[DOI]

Shin'ichi Nagano

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Analyzing Effects of Cost Estimation Accuracy on Quality and Productivity.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

VP Reservation for Rapid Restoration Using Multiagents.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

Feature Interaction Detection Using Permutation Symmetry.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the 7th Asian Test Symposium (ATS '98), 2-4 December 1998, Singapore, 1998

1997

A new fault localizing method for the program debugging process.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1997

An approach to safety verification of object-oriented design specification for an elevator control system.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '97, 1997

A New Software Project Simulator Based on Generalized Stochastic Petri-net.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '97), 1997

A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-27, 1997

Petri-Net Based Detection Method for Non-Deterministic Feature Interactions and its Experimental Evaluation.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.

[BibT_eX]

[DOI]

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model.

[BibT_eX]

[DOI]

Proceedings of the 6th Asian Test Symposium (ATS '97), 17-18 November 1997, 1997

1996

Modeling and evaluation of responsive multiprocessor systems.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1996

Experimental Evaluation of Time Allocation Procedure for Technical Reviews.

[BibT_eX]

[DOI]

J. Syst. Softw., 1996

On constructing communication protocols from component-based service specifications.

[BibT_eX]

[DOI]

Comput. Commun., 1996

An Integration-Oriented Approach for Designing Communication Protocols from Component-Based Service Specifications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '96, 1996

Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 1996 International Conference on Network Protocols, 1996

Heuristics for Computing Attribute Values of C++ Program Complexity Metrics.

[BibT_eX]

[DOI]

Proceedings of the COMPSAC '96, 1996

A New Model with Time Constraints for Conformance Testing of Communication Protocols.

[BibT_eX]

[DOI]

Daisuke Teratani

Proceedings of the 5th Asian Test Symposium (ATS '96), 1996

1995

A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

Localizing Multiple Faults in a Protocol Implementation.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 1995

A new fault-tolerant scheduling technique for real-time multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications, October 25, 1995

Analysis of review's effectiveness based on software metrics.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

An approach to safety and correctness verification of software design specification.

[BibT_eX]

[DOI]

Eun Mi Kim

Shinji Kusumoto

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Improvement of Software Process by Process Description and Benefit Estimation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

A routing protocol for finding two node-disjoint paths in computer networks.

[BibT_eX]

[DOI]

Kenji Ishida

Proceedings of the 1995 International Conference on Network Protocols, 1995

A Dynamic Resolution Method for Feature Interactions and Its Evaluation.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications III, 1995

1994

Automated Verification of Responsive Protocols Modeled by Extended Finite State Machines.

[BibT_eX]

[DOI]

Kenichi Kawashima

Real Time Syst., 1994

A Model-based Approach for Software Test Process Improvement.

[BibT_eX]

Proceedings of the Software Quality and Productivity: Theory, 1994

Automated synthesis of protocol specifications with message collisions and verification of timeliness.

[BibT_eX]

[DOI]

Hirotaka Igarashi

Proceedings of the 1994 International Conference on Network Protocols, 1994

Application of protocol sythesis technique to resolution of the service interaction problem.

[BibT_eX]

Hiroyuki Asada

Proceedings of the Formal Description Techniques VII, 1994

Analysis of metrics for object-oriented program complexity.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993

A new framework of measuring software development processes.

[BibT_eX]

[DOI]

Proceedings of the First International Software Metrics Symposium, 1993

Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-23, 1993

1991

Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

Fault analysis based on fault reporting in JSP software development.

[BibT_eX]

[DOI]

Yukio Mohri

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

Experimental evaluation of the cost effectiveness of software reviews.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Incremental Attribute Evaluation for Multiple Subtree Replacements in Structure-Oriented Environments.

[BibT_eX]

[DOI]

An Feng

Koji Torii

Proceedings of the Attribute Grammars and their Applications, 1990

1989

A Meeting Scheduler for Office Automation.

[BibT_eX]

[DOI]

Kazuo Sugihara

IEEE Trans. Software Eng., 1989

A Formal Adaptation Method for Process Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

Optimization of Multiple Queries in Relational Database Systems.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1988

Experimental evaluation of software reliability growth models.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987

A Heuristic Algorithm for Gate Assignment in One-Dimensional Array Approach.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987

Response time minimization for processing simple queries in star networks.

[BibT_eX]

[DOI]

Jun'ichi Miyao

Syst. Comput. Jpn., 1987

1985

Design of hardware algorithms by recurrence relations.

[BibT_eX]

[DOI]

Shin'ichi Wakabayashi

Syst. Comput. Jpn., 1985

Feasibility problem for meeting timetable rearrangement.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1985

1984

A Distributed Algorithm for Deadlock Detection and Resolution.

[BibT_eX]

Proceedings of the Fourth Symposium on Reliability in Distributed Software and Database Systems, 1984

A Semantic Approach to Usability in Relational Database Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Data Engineering, 1984

1983

A linear algorithm for the domination number of a series-parallel graph.

[BibT_eX]

[DOI]

Discret. Appl. Math., 1983

1980

NP-completeness of some type of p-center problem.

[BibT_eX]

[DOI]

Discret. Appl. Math., 1980

1979

A fast selective traversal algorithm for binary search trees.

[BibT_eX]

[DOI]