A feasible strategy for reachability testing of internet-based concurrent programs

Proceedings of 2008 IEEE International Conference on Networking, Sensing and Control, ICNSC

Volumn , Issue , 2008, Pages 1559-1564

  Pu, Fangli ^a,c   Xu, Hai Yin ^b  

^a HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b BOURNEMOUTH UNIVERSITY   (United Kingdom)

^c NONE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CASE STUDIES; CONCURRENT PROGRAMS; INTERNATIONAL CONFERENCES; MULTI PLAYERS; ON-LINE GAMES; REACHABILITY TESTING; RESEARCH WORKS; VECTOR TIMESTAMPS;

INTERNET; TESTING;

CONCURRENCY CONTROL;

EID: 49249091671     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICNSC.2008.4525469     Document Type: Conference Paper

References (10)

1. G. H. Hwang, K. C. Tai, and T. L. Huang, "Reachability Testing: An Approach to Testing Concurrent Software," Proceedings of Int'l J. Software Eng. and Knowledge Eng., 1995, 5(4), 493-510.
2. Y. Lei, and R.H. Carver, "Reachability Testing of Concurrent Programs", IEEE Transactions on Software Engineering, 2006, 32(6): 382-403.
3. Y. Lei, K. C. Tai, "Efficient Reachability Testing of Asynchronous Message-passing Programs", Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), 2002, 35.
4. th Annual International Computer Software and Applications Conference. Orlando, 1989, 62-64.
5. R. N. Taylor. A General-Purpose Algorithm for Analyzing Concurrent Programs. Communications of the ACM, 1983, 26(5):362-376.
6. Y. Lei, and R.H. Carver, "Reachability Testing of Semaphore-Based Programs", Proceedings of 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, 312-317.
7. Y. Lei, and R.H. Carver, "A New Algorithm For Reachability Testing of Concurrent Programs", Proceedings of 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA, 346-355.
8. Y. Lei, R.H. Carver, "A State Exploration-Based Approach to Testing Java Monitors", Proceedings of 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA, 256-265.
9. C. J. Fidge, "Logical Time in Distributed Computing Systems," Computer, Aug. 1991, 28-33.
10. L. Lamport, "Time, Clocks, and the Ordering of Events in a distributed System," Comm. ACM, July 1978, 558-565.