Reachability testing of concurrent programs von Lei, Y., Carver, R.H.

Volltext

Distributed reachability testing of concurrent programs von Carver, Richard H., Lei, Yu

Volltext

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs von Carver, Richard H, Tai, Kuo-Chung

Volltext

A combinatorial testing strategy for concurrent programs von Lei, Yu, Carver, Richard H., Kacker, Raghu, Kung, David

Volltext

A class library for implementing, testing, and debugging concurrent programs von Carver, Richard H., Lei, Yu

Volltext

A Stateful Approach to Testing Monitors in Multithreaded Programs von Carver, Richard H, Lei, Jeff

Volltext

Use of sequencing constraints for specification-based testing of concurrent programs von Carver, R.H., Kuo-Chung Tai

Volltext

Incremental integration testing of concurrent programs von Koppol, P.V., Carver, R.H., Kuo-Chung Tai

Volltext

Replay and testing for concurrent programs von Carver, R.H., Tai, K.-C.

Volltext

Testing abstract distributed programs and their implementations: A constraint-based approach von Carver, Richard H.

Volltext

A General Model for Reachability Testing of Concurrent Programs von Carver, Richard H., Lei, Yu

Volltext

Debugging concurrent Ada programs by deterministic execution von Tai, K.-C., Carver, R.H., Obaid, E.E.

Volltext

VP von Tai, K C, Carver, Richard H

Volltext

A specification-based methodology for testing concurrent programs von Tai, Kuo-Chung, Carver, Richard H.

Volltext

VP : A new operation for semaphores von TAI, K. C, CARVER, R. H

Volltext

The Critical Section Problem

Volltext

Testing and Debugging Concurrent Programs

Volltext

Monitors

Volltext

Introduction to Concurrent Programming

Volltext

Message Passing

Volltext