Kuo-Chung Tai

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

Efficient Reachability Testing of Asynchronous Message-Passing Programs.

[BibT_eX]

[DOI]

Yu Lei

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001

Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.

[BibT_eX]

[DOI]

Jun Zhou

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

On Godefroid's Stateless Search Technique for Testing Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000

Analysis and testing of concurrent object-oriented software.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Model Checking Based on Simultaneous Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Deadlock Analysis of Client/Server Programs.

[BibT_eX]

[DOI]

Jun Zhou

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.

[BibT_eX]

[DOI]

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

1999

Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints.

[BibT_eX]

[DOI]

F. J. Daniels

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Deadlock Analysis of Synchronous Message-Passing Programs.

[BibT_eX]

[DOI]

Jun Zhou

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

Synchronizable Test Sequences of Finite State Machines.

[BibT_eX]

[DOI]

Yu-Chiou Young

Comput. Networks, 1998

Design of a Toolset for Dynamic Analysis of Concurrent Java Program.

[BibT_eX]

[DOI]

Alessio Bechini

Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Timestamps for Programs Using Messages and Shared Variables.

[BibT_eX]

[DOI]

Alessio Bechini

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

In-Parameter-Order: A Test Generation Strategy for Pairwise Testing.

[BibT_eX]

[DOI]

Yu Lei

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1997

Specification-Based Testing Using Cause-Effect Graphs.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1997

Reachability Testing of Asynchronous Message-Passing Programs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Race Analysis of Traces of Message-Passing Programs.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Test Order for Inter-Class Integration Testing of Object-Oriented Software.

[BibT_eX]

[DOI]

Fonda J. Daniels

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

1996

Theory of Fault-Based Predicate Testing for Computer Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Automatic test-generation for predicates [software testing].

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 1996

VP: A New Operating for Semaphores.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1996

An Incremental Approach to Structural Testing of Concurrent Software.

[BibT_eX]

[DOI]

Pramod V. Koppol

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Automatic test generation for predicates.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

1995

Reachability Testing: an Approach to Testing Concurrent Software.

[BibT_eX]

[DOI]

Gwan-Hwan Hwang

Ting-Lu Huang

Int. J. Softw. Eng. Knowl. Eng., 1995

Test generation for Boolean expressions.

[BibT_eX]

[DOI]

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

Test Sequence Generation from Formal Specifications of Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

A Specification-Based Methology for Testing Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the 5th European Software Engineering Conference, 1995

1994

Evaluation of a Predicate-Based Software Testing Strategy.

[BibT_eX]

[DOI]

IBM Syst. J., 1994

Empirical studies of predicate-based software testing.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Parallel Processing, 1994

Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

1993

An Incremental Approach to Reachability Analysis of Distributed Programs.

[BibT_eX]

[DOI]

Pramod V. Koppol

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Predicate-Based Test Generation for Computer Programs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Software Engineering, 1993

Hierarchy-based incremental analysis of communication protocols.

[BibT_eX]

[DOI]

Pramod V. Koppol

Proceedings of the 1993 International Conference on Network Protocols, 1993

Some issues in multi-phase software reliability modeling.

[BibT_eX]

[DOI]

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

Fault-based test generation for cause-effect graphs.

[BibT_eX]

[DOI]

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1991

Debugging Concurrent Ada Programs by Deterministic Execution.

[BibT_eX]

[DOI]

Evelyn E. Obaid

IEEE Trans. Software Eng., 1991

Replay and Testing fro Concurrent Programs.

[BibT_eX]

[DOI]

IEEE Softw., 1991

Static analysis of concurrent software for deriving synchronization constraints.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Protocol validation using a pumping-based approach.

[BibT_eX]

[DOI]

Hong-Fa Ho

Gen-Huey Chen

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

1990

Condition-based software testing strategies.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

Deterministic execution testing of concurrent Ada programs.

[BibT_eX]

[DOI]

Proceedings of the Conference on Tri-Ada 1989, 1989

Deterministic execution debugging of concurrent Ada programs.

[BibT_eX]

[DOI]

Evelyn E. Obaid

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

Testing of concurrent software.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

A Course on Software Enigneering for Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 1988

1987

A methodology for testing concurrent Ada programs.

[BibT_eX]

[DOI]

Evelyn E. Obaid

Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, 1987

1986

A Comparison of Computed Chaining to Predictors.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1986

An approach to testing concurrent Ada programs.

[BibT_eX]

[DOI]

Proceedings of the Third Annual Washington Ada Symposium on Ada, 1986

Reproducible Testing of Concurrent Programs Based on Shared Variables.

[BibT_eX]

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1984

A Program Complexity Metric Based on Data Flow Information in Control Graphs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1984

1983

Visualizing algorithms and processes with the aid of a computer.

[BibT_eX]

[DOI]

Jeffrey W. Mincy

Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983

1982

The Practicality of Text Signatures for Accelerating String Searching.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1982

Comments on parameter passing techniques in programming languages.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1982

Experience with porting the Portable C Compiler.

[BibT_eX]

[DOI]

Charles H. Minchew

Proceedings of the ACM 1982 Annual Conference, Dallas, TX, USA, October 25-27, 1982, 1982

1981

Computed chaining - A hybrid of direct chaining and open addressing.

[BibT_eX]

[DOI]

Inf. Syst., 1981

1980

Program Testing Complexity and Test Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1980

Comments on the suggested implementation of tasking facilities in the "rationale for the design of the ADA programming language".

[BibT_eX]

[DOI]

Kenneth P. Garrard

ACM SIGPLAN Notices, 1980

Predictors of Context-Free Grammars.

[BibT_eX]

[DOI]

SIAM J. Comput., 1980

An introduction to computed chaining.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: 1980 National Computer Conference, 1980

Locally minimum-distance correction of syntax errors in programming languages.

[BibT_eX]

[DOI]

Proceedings of the ACM 1980 Annual Conference, 1980

1979

Noncanonical SLR(1) Grammars.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1979

On the implementation of parsing tables.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1979

The Tree-to-Tree Correction Problem.

[BibT_eX]

[DOI]

J. ACM, 1979

Immediate Error Detection in Strong LL(1) Parsers.

[BibT_eX]

[DOI]

Charles N. Fischer

D. R. Milton

Inf. Process. Lett., 1979

Constant Folding Within an Expression by Semantic Attributes.

[BibT_eX]

[DOI]

Comput. Lang., 1979

On program testing criteria.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1978

Syntactic Error Correction in Programming Languages.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1978

1977

Fault-tolerant string processing by pattern mapping.

[BibT_eX]

[DOI]

Proceedings of the 1977 annual conference, 1977

The recovery of parsing configurations for LR(1) parsers.

[BibT_eX]

[DOI]

Proceedings of the 15th annual Southeast regional conference, 1977

1976

Syntactic Error Correction In Programming Languages.

[BibT_eX]