People
Faculty Information
|
University of Florida Computer and Information Science and Engineering Stephen M. Thebaut, Ph.D.
Assistant ProfessorAssociate Chair |
|
| Mailing Address: | P.O. Box 116120 Gainesville, FL 32611-6120 |
| Office Location: | E314-A CSE |
| Office Phone: | (352) 505-1564 |
| Departmental FAX: | (352) 392-1220 |
| Email: | smt@cise.ufl.edu |
Interests
Requirements Engineering (operational modeling, elicitation, analysis)
Software Testing and Verification (software analysis, test case design, function-theoretic verification)
Software Engineering Education and Technology Transfer (short course development, distance learning, just-in-time training, graduate programs for working software professionals)
Software Development Process and Protocols
Education
- Ph.D., Purdue University, 1983
- MS, Computer Science, Purdue University, 1979
- BA, Mathematics, Duke University, 1977
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.