This research bridges the gap between software architecture and testing to amplify benefits to both ends. The goal is to develop a family of new architectural modeling and analysis techniques that centered on testing.

The goal of this research is to create a novel regression testing framework that can be applied to real-world complex software systems, focusing on the hardware dependence and concurrent control characteristics, throughout their lifetimes.

This research provides a fully automated framewok for reproducing and diagnosing system-level (inter-process) concurency failures using only default logs collected from the field. It does not require code instrumentation on the production system or rely on the assumption of the availability of multiple failing executions.