Debugging Parallel Programs with Instant Replay
IEEE Transactions on Computers
Debugging heterogeneous distributed systems using event-based models of behavior
ACM Transactions on Computer Systems (TOCS)
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Efficient Distributed Detection of Conjunctions of Local Predicates
IEEE Transactions on Software Engineering
Monitors: an operating system structuring concept
Communications of the ACM
Replay and Testing for Concurrent Programs
IEEE Software
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
APSEC '96 Proceedings of the Third Asia-Pacific Software Engineering Conference
State-Based Reproducible Testing for CORBA Applications
PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Design of a Toolset for Dynamic Analysis of Concurrent Java Programs
IWPC '98 Proceedings of the 6th International Workshop on Program Comprehension
Towards Specification-based Web Testing
Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
Code based analysis for object-oriented systems
Journal of Computer Science and Technology
Building test constraints for testing middleware-based distributed systems
SEM'02 Proceedings of the 3rd international conference on Software engineering and middleware
| Hi-index | 0.00 |
Reproducible testing is one of the effective ways to perform or repeat a desired test scenario in concurrent systems. This technique can be naturally applied to distributed environments as well. However, when it is applied to distributed systems where remote calls are used as communication facilities, new deadlocks may be introduced when we incorporate the test control mechanism to the execution of the program under test. In this paper, we present our work on using static analysis technique to solve this problem.