Jeff Y. Lei
Associate Professor
Department of Computer Science and Engineering
The University of Texas at Arlington
Phone: 817 272 2341
Fax: 817 272 3784
Email: ylei@cse.uta.edu
Research Area: Software Engineering, Formal Methods
Research Lab: Software Engineering Research Center
Office: Nedderman Hall, Room 340
Office Hours (Spring 2009): 1:00pm - 2:25pm, Mon. & Wed.
Teaching (Spring 2009):
Representative Publications: (For more publications,
click
here.)
- 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.
- Y. Lei, P. Iyer. An Approach to Unfolding Asynchronous
Communication Protocols, Proceedings of 13th International
Symposium on Formal Methods (FM), pp. 334 - 349, July 18-22, 2005,
New Castle, UK.
