Reachability testing of semaphore-based programs

Proceedings - International Computer Software and Applications Conference

Volumn 1, 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

[No Author keywords available]

Indexed keywords

CONCURRENT PROGRAMMING; PREFIX-BASED TESTING; REACHABILITY TESTING; SEMAPHORE-BASED PROGRAMS;

DATA REDUCTION; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING; SYNCHRONIZATION; UNIX;

CONCURRENT ENGINEERING;

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

References (9)

1. R. H. Carver and Y. Lei. A general model for reachability testing of concurrent programs, to be published in ICFEM 2004.
2. P. Godefroid. Model Checking for Programming Languages using VeriSoft. Proceedings of the 24th ACM Symposium on Principles of Programming Languages, pages 174-186, Paris, January 1997.
3. 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):493-510, 1995.
4. L. Lamport. Time, Clocks, and the Ordering of Events in a Distributed System, Comm. ACM, July 1978, pp. 558-565.
5. 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, pp. 35-44, Dec. 2002.
6. K. C. Tai. Testing of concurrent software. Proc. of the 13th Annual International Computer Software and Applications Conference, pp. 62-64, 1989.
7. K. C. Tai. Reachability testing of asynchronous message-passing programs. Proc. of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems, pp. 50-61, 1997.
8. R. N. Taylor, D. L. Levine, and Cheryl D. Kelly, Structural testing of concurrent programs, IEEE Transaction on Software Engineering, 18(3):206-214, 1992.
9. Richard Carver and K. C. Tai, "Replay and Testing for Concurrent Programs," IEEE Software, Vol. 8. No. 2, March 1991, pp. 66-74.