Recent Publications
- Carver, Richard H., and Lei, Yu, Distributed Reachability Testing, under preparation.
- Carver, Richard H., and Lei, Yu, A Modular Approach to Model-Based Testing of Concurrent Programs, submitted for publication.
-
- Carver, Richard H., and Lei, Yu, A Class Library for Implementing, Testing, and Debugging Concurrent
Programs, accepted for publication in the International Journal on Software Tools for Technology Transfer, November 2007.
- Lei, Yu, and Carver, Richard H., Raghu Kacker, and David Kung, A Combinatorial Testing Strategy for Concurrent Programs, Journal of Software Testing, Verification and Reliability, Volume 17, Issue 4, December 2007, pp. 207-225.
- Lei, Yu, Carver, Richard H., Kung, David, Gupta, Vidur, and Hernandez, Monica,
A State Exploration-Based Approach to Testing Java Monitors,
Proc. International Symposium on Software Reliability Engineering (ISSRE), November 2006, pp. 256-265.
- Lei, Yu, and Carver, Richard H., Reachability Testing of Concurrent Programs, IEEE Transactions on Software Engineering, Volume 32, No. 6, 2006, pp. 382-403.
- Carver, Richard H., Tai, K. C., Modern Multithreading, Wiley, 2006.
- Lei, Yu, and Carver, Richard H., A New Algorithm for Reachability Testing of Concurrent Programs,
Proc. International Symposium on Software Reliability Engineering (ISSRE), November 2005.
- Carver, Richard H., and Lei, Yu, A general model for reachability testing of concurrent programs, Proc. Intl. Conf. on Formal Engineering Methods, 2004, pp. 76-98.
- Lei, Yu, and Carver, Richard H., Reachability testing of semaphore-based programs, Proc. 28th Computer Software and Applications Conference (COMPSAC), 2004, pp. 312-317.
- Lei, Yu, and Carver, Richard H., Reachability testing of monitor-based programs, Proc. Eighth IASTED International Conference on Software Engineering and Applications, 2004, pp. 312-317.
- Koppol, Pramod V., Carver, Richard H., and Tai, Kuo-Chung, Incremental integration testing of concurrent programs. IEEE Transactions on Software Engineering, Vol. 28, No. 6, 2002, pp. 607-623.