Recent Publications
- Carver, Richard, and Lei, Yu, "Stateless Generation of Modular Test Sequences for Model-Based Testing of Concurrent Programs,"
submitted for publication.
- Huadong Feng, Jing Xu, Yu Lei and Richard Carver, "An Investigation of Stress-Related Bug Reports," submitted for publication.
- Xu, Jing, Lei, Yu, Carver, Richard, and Kung, David, "A Lightweight Approach to Detecting Unbounded Thread-Instantiation Loops,"
Proc. IEEE International Conference on Software Testing, Verification and Validation (ICST), 2015, pp. 1-10.
- Xu, Jing, Carver, Richard, Lei, Jeff, and Kung, David, "A Dynamic Approach to Isolating Faulty Patterns in Concurrent Program Executions," Proc. International.Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT), August, 2013, pp. 97-109
- Carver, Richard H., and Lei, Yu, "A Modular Approach to Model-Based Testing of Concurrent Programs,"
Proc. International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT), August 2013, 85-96.
- Carver, Richard H., and Lei, Yu, "A Stateful Approach to Testing Monitors in Multithreaded Programs," 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering, 2010, pp.54-63.
- Carver, Richard H., and Lei, Yu, "Distributed Reachability Testing of Concurrent Programs, "Concurrency and Computation: Practice and Experience, Volume 22, Issue 18, Pages 2381-2513, 2010.
- Carver, Richard H., and Lei, Yu, A Class Library for Implementing, Testing, and Debugging Concurrent
Programs, International Journal on Software Tools for Technology Transfer: Volume 12, Issue 1 (2010), Page
69-88.
- Lei, Yu, 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, and 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., and 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.