An Experimental Evaluation of the Reliability of Adaptive ...
Program Checking Sampath Kannan University of Pennsylvania.
Dec 2009 - 1 Timothy C. Lethbridge Trace-Directed Modelling State-of-the-Art, Ideas and Plans Timothy C. Lethbridge CRuiSE (Complexity Reduction in Software.