Online Dissertations and Theses

In searching the software testing literature, dissertations and theses are notoriously difficult to obtain. Many libraries refuse Interlibrary Loan requests for dissertations and theses. Because of the expense, ordering a reprint from University Microfilms is often not an option (especially if you have not previously seen the material and been able to judge its relevance.)

Happily, many of these items are available online. Finding the online versions, however, has been very difficult. If you are aware of an online version of a dissertation or thesis, whether an abstract or a complete text, I invite you to contact me at storm@mtsu.edu and let me add it to the list below. Thank you! - Roland H. Untch

(Citations to software testing related dissertations and theses can be found using the searchable BibTeX-based bibliographic database.)

Dissertations
- Krauser, Edward W., Compiler-Integrated Software Testing, (July 1992), Abstract, Text
- Laycock, Gilbert, The Theory and Practice of Specification Based Software Testing, Abstract
- Pemberton, Duncan, Viewpoint Oriented Verification & Validation, HTML Text - (First Year Ph.D. Report)
- Stocks, Philip Alan, A Specification-based Testing Framework, (December 1993), Abstract, Text
- Rothermel, Gregg, Efficient, Effective Regression Testing Using Safe Test Selection Techniques, (May 1996), Abstract, Text
- Untch, Roland H., Schema-Based Mutation Analysis: A New Test Data Adequacy Assessment Method, (December 1995), Text
- Watson, Arthur Henry, Structured Testing: Analysis and Extension, (1996), Abstract
- Yeh, Wei Jen Controlling State Explosion in Reachability Analysis, (August 1993), Abstract, Text
Theses
- Buttle, Darren, Specification Based Testing, (March 1995), Abstract, Text
- Dasari, Srinivas GENCLEST: A General-purpose C++ Class testing and Management Environment, Overview,
- Fletcher, Rohan, Testing of Object Oriented Software Using Formal Specifications, Abstract Citation
- Johnson, Mark W., High Level Test Generation Using Software Testing Metrics, (February 1995), Abstract
- Kuusela, Petri, Module and Protocol Testing in Software Quality Assurance, (August 1995), Abstract Text
- Lee, Myoung-Whan, Evaluation of Program Test Methods using Mutation Analysis., (1985), Abstract
- Ingo, Melzer, Testing of a Computer Program on the Example of a Medical Application with Diversification and other Methods, (August 1996), Text
- Pomakis, Keith P., Reachability Analysis of Feature Interactions in Service-Oriented Software Systems., (1996), Text
- Yung, Chung, A Metrics And Testing Based Software Development Environment, (Spring 1990), Abstract

Return to STORM home page

This site maintained by Roland H. Untch.
http://www.mtsu.edu/~storm/dissertations.html Last update $Date: 99/08/11 17:21:51 $