Date of Award


Degree Name

Doctor of Philosophy


Computer Science

First Advisor

Dr. Laura K. Dillon

Second Advisor

Dr. Robert B. France

Third Advisor

Dr. Ajay Gupta

Fourth Advisor

Dr. Wuwei Shen


Modeling, class diagrams, model checking, designmodel, implementation. computer science


Software design models are increasingly being used as part of the software development process as analysis and design artifacts and to automatically generate code that developers can further modify or extend, greatly expediting the software development process. This, however, has introduced the challenge of maintaining consistency between the design models and their implementation as they evolve during the development process. Traditional software testing and verification techniques have been well studied in the past, and they are an integral part of many software development projects, however, they are not well suited for consistency checking between a design model and its implementation. In this dissertation, we present a testing-based validation technique that improves over traditional testing and verification techniques for consistency checking that combines coverage criteria and dynamic symbolic execution with path condition analysis. Our experiments have shown the effectiveness and efficiency of our approach when applied to industry strength software systems.


5th Advisor: Dr. Li Yang

Access Setting

Dissertation-Open Access