People
Faculty Information
|
University of Florida Computer and Information Science and Engineering Stephen M. Thebaut, Ph.D.
Assistant ProfessorAssociate Chair Undergraduate Coordinator |
|
| Mailing Address: | P.O. Box 116120 Gainesville, Fl 32611-6120 |
| Office Location: | E314-A CSE |
| Office Phone: | (352) 392-1496 |
| Departmental FAX: | (352) 392-1220 |
| Email: | smt@cise.ufl.edu |
Interests
Software testing and verification
Requirements engineering
Software engineering education and technology transfer
Education
- Ph.D., Purdue University, 1983
- MS, Computer Science, Purdue University, 1979
- BA, Mathematics, Duke University, 1977
Current and Recent Courses
| Semester | Number | Title |
|---|---|---|
| Spring 2005 | CEN 6075 | Software Specification |
| Fall 2007 | CEN 4072/6070 | Software Testing & Verification |
| Spring 2008 | CEN 5035 | Software Engineering |
It is possible that changes in listings are pending. Contact the (CISE Student Services Center) at 352-392-1090 for the most up-to-date information.
Additional course information is available at:
- CISE Undergraduate Courses
- CISE Graduate Courses
- UF Undergraduate and Graduate Catalog Course Descriptions
Selected Publications
- An Intelligent Plan Selection Model for BDI Frameworks, (with U. Sargut), European Workshop on Multi-Agent Systems (EUMAS'07), Hammamet, Tunisia, December, 2007.
- Binary Compatibility Test Suite for Unix-Based Application Software, software package providing compatibility tests for over 350 API functions and procedures. Spring-Summer 1997.
- Architecture and Code Coverage Based Estimation of Software Reliability (with A. Mathur), Software Engineering Research Center Spring 1996 IAB Meeting Materials, May 1996.
- Task-Specific Utility Assessment Models and their Role in the Development of Software Engineering Handbooks, (with V.Y. Shen), Lecture Notes in Computer Science, H.D. Rombach, V.R. Basisli, and R.W. Selby (Eds.), Proceedings of Experimental Software Engineering Issues: Critical Assessment and Future Directions, International Workshop, Dagstuhl Castle, Germany, Sept. 1992, Springer-Verlag.
- The Maintenance Assistant: Work in Progress (with N. Wilde), Journal of Systems and Software, Vol 9, 1989, pp. 3-17
- Identifying Error-Prone Software - An Empirical Study (with V.Y. Shen, T.J. Yu, and L.R. Paulsen), IEEE Transactions on SE 11(4): 317-324, 1985.