Formal specification-based monitoring, regression testing and aspects - LIANG HUI (2010)
Ph.D