Jeff Lei is an assistant professor of Computer Science at the University of Texas, Arlington. He received his Bachelor's degree from Wuhan University (Special Class for Gifted Young) in 1993, his Master's degree from Chinese Academy of Sciences in 1996, and his Ph.D. degree from North Carolina State University in 2002. He was a member of technical staff in Fujitsu Network Communications, Inc. from 1998 to 2001. His research is in the area of automated software analysis, testing and verification. His current research is supported by NIST.

Teaching

Fall 2008

• CSE 6324: Advanced Topics in Software Engineering
  

Current Projects

• Automated Software Testing using Covering Arrays
• A Framework for Reproducible Testing and Race Detection in Real-time Embedded Systems
• A Dynamic Framework for Testing and Verification of Concurrent Programs
• Webtronics Competition and Proactive Student Retention: Increasing Undergraduates in Software Engineering

Selected Publications

Y. Lei, R. Kacker, D. R. Kuhn, V. Okun, and J. Lawrence. IPOG/IPOG-D: Efficient Test Generation for Multi-Way Combinatorial Testing. To appear in Journal of Software Testing, Verification, and Reliability. (Published Online: Nov 29 2007, DOI: 10.1002/stvr.381)

Y. Lei, R. Carver, R. Kacker, and D. Kung. A Combinatorial Testing Strategy for Concurrent Programs. Journal of Software Testing, Verification, and Reliability, 17(4):207-225, 2007.

Y. Lei and R. Carver. Reachability Testing of Concurrent Programs. IEEE Transactions. on Software Engineering, 32(6):382-403, 2006.

Q. Ye, Y. Lei, and D. Kung. A Blocking-Based Approach to Protocol Validation, The Computer Journal, 49:541-553, 2006.

K. C. Tai and Y. Lei. A Test Generation Strategy for Pairwise Testing. IEEE Transactions on Software Engineering, 28(1):109-111, 2002.