Reachability testing of monitor-based programs

Proceedings of the Eigtht IASTED International Conference on Software Engineering and Applications

Volumn , Issue , 2004, Pages 312-317

  Lei, Yu ^a   Carver, Richard ^b  

^a The University of Texas at Arlington   (United States)

^b George Mason University   (United States)

Author keywords

Monitor based Programs; Multithreaded Programs; Reachability Testing; Software Testing

Indexed keywords

MONITOR-BASED PROGRAMS; MULTITHREADED PROGRAMS; REACHABILITY TESTING; SOFTWARE TESTING;

ALGORITHMS; AUTOMATION; COMPUTER PROGRAMMING; DATA REDUCTION; INFORMATION ANALYSIS; SEQUENTIAL MACHINES; SOFTWARE ENGINEERING; SYNCHRONIZATION;

COMPUTER SOFTWARE;

EID: 11144236536     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. G. Andrews, Foundations of Multithreaded, Parallel, and Distributed Programming (Addison-Wesley, 2000).
2. D. L. Bruening, Systematic testing of multithreaded Java programs, Master's thesis, MIT, 1999.
3. P. Brinch Hansen, Reproducible testing of monitors, Software-Practice and Experience, vol. 8, 1978, 721-729.
4. P. Godefroid, Model checking for programming languages using VeriSoft, Proc. 24th ACM Symposium on Principles of Programming Languages, Paris, 1997, 174-186.
5. K. Havelund and Tom Pressburger, Model checking Java programs using Java PathFinder, International Journal on Software Tools for Technology Transfer, 2(4), 2000, 366-381.
6. G. H. Hwang, K. C. Tai, and T. L. Huang, Reachability testing: An approach to testing concurrent software. International Journal of Software Engineering and Knowledge Engineering, 5(4), 1995, 493-510.
7. L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System, Communication of the ACM, 1978, 558-565.
8. Yu Lei and Kuo-Chung Tai, Efficient reachability testing of asynchronous message-passing programs, Proc. 8th IEEE Int'l Conf. on Engineering for Complex Computer Systems, 2002, 35-44.
9. Yu Lei and Richard Carver, Reachability testing of semaphore-based programs, Proc. IEEE Int' Conf. on Computer Software and Applications, 2004.
10. K. C. Tai, Reachability testing of asynchronous message-passing programs, Proc. of 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, 1997, 50-61.
11. R. N. Taylor, D. L. Levine, and Cheryl D. Kelly, Structural testing of concurrent programs, Transaction on Software Engineering, 18(3), 1992, 206-214.
12. S. D. Stoller, Testing concurrent Java programs using randomized scheduling, In Proc. 2nd Workshop on Runtime Verification (RV), Vol. 70(4) of Electronic Notes in Theoretical Computer Science.