name	program	status	thesis title
Xiubin Cai	Master's	graduated	A Study on Reproducible Testing for Distributed Multithreaded Java Programs
Fang Li	Master's	graduated	Formal Verification in Network of Synchronizing FSMs with SPIN
Alice Yang	Master's	graduated	A Study on Test Case Generation for Object-Oriented Programs based on Hybrid Testing Strategy
Hanmei Cui	Master's	graduated	Correctness in Distributed Systems with Middleware
Haitao Zheng	Master's	graduated	A Proxy-based Caching Technique for Dynamic and Customized Web Pages
Xiaoshan Zhao	Master's	graduated	Model Checking Correct Web Page Navigations with Browser Behavior
Kun Wang	Master's	graduated	Constructing a Reproducible Testing Environment for Distributed Java Applications
Jun Li	Master's	graduated	An Implementation of Feasible Path Constraints Generation for Reproducible Testing
Songtao Chen	Master's	graduated	Session Models of Navigational Behavior of Web Applications in EFSM
Lihua Duan	Master's	gradauted	Improvements on Handling Design Errors in Communication Protocols
Yongdong Tan	Master's	graduated	Comparison of Two Approaches for Test Case Generations from EFSMs
Xiao Wang	Master's	graduated	Efficient test sequence generation for web applications with web frames
Bahman Radjabalipour	Master's
Yan, Wang	Master's
Hanmei Cui	Ph.D.
Gaurav Kumar	Master's
Lihua Duan	Ph.D.
Man Li	Master's