Supervisors: Prof. Mark Harman and Dr. Nicolas Gold
Research group: CREST
Topic: Identifying High-Level Dependence Structures Using Slice-Based Dependence Analysis


This thesis presented a framework of the possible combination of approaches for low-level program slicing-based dependence analysis and high-level concept assignment. Three combination techniques, concept extension, concept abbreviation and concept refinement, are presented and empirical studied to address the problem of program maintenance. The ten C subject programs are studied and more than 600 concept bindings are identified. Dependence based metrics are defined to evaluate three techniques that provides evidence of both advantages and disadvantages.

I have passed my viva on 9th February 2009 and submitted the final version of my thesis in March 2009.

The thesis has been accepted by ICSM09 Doctoral Symposium. You can obtain an electronic copy of the thesis from here. Four pages ICSM09 submission Full Thesis


  • * Search-based Software Engineering and Testing

    My present work on software engineering includes regression test case prioritisation, test case generation using genetic algorithms and empirical investigations of software.

  • * Program Slicing and Merging

    My present work on program slicing concentrates on empirical studies of new slice-base analyzes and on generating a better technique by combining program slicing and domain level techniques.

  • * State-based Model Slicing and Testing

    My interest in State-based Model Slicing and Testing has focused on developing algorithms, methods and techniques for scaling down the size and complexity of a model on both theoretical level and empirical level.