• Using slicing techniques to support scalable rigorous analysis of class models 

        Author(s):Sun, Wuliang
        Date Issued:2015
        Format:born digital; doctoral dissertations
        Slicing is a reduction technique that has been applied to class models to support model comprehension, analysis, and other modeling activities. In particular, slicing techniques can be used to produce class model fragments ...