8. September - 14. September

Locating faults is one of the most time consuming task in today's fast paced economy. Testing and formal verification techniques like model-checking are usually used for detecting faults but do not attempt to locate the root-cause for the detected faulty behavior. This presentation makes use of an abstract dependencies between program variables for detecting and locating faults in alias-free programs in cases where an abstract specification is available. In particular we show that the dependence model is correct. Whenever the dependence model reveals a fault there is a test case, which also reveals a fault.

I defended PhD in 2007 from Graz University of Technology, Austria. I have been carrying research at Graz University of Technology, Austria since 2003 to 2007. I have been involved in research and teaching since 1998. I have been teaching in different institutes in Pakistan. My main research areas are focused around software debugging, formal verification and software testing. In particular I am interested in applying model-based diagnosis and reasoning techniques to the field of automated software debugging of Java programs. Furthermore I am interested to carry research in the formal methods. I have been an author of several national and international publications in different reputed conferences, Books and journals. I am a reviewer and committee member of different international and national conferences. I have more than 10 years of experience of teaching and research. I am an approved supervisor by Higher Education Commission (HEC) Pakistan and can supervise PhD Students. I am a member of IEEE, IEEE Computer Society and SUCSA. Previously I supervised MS students from top ranked University NU-FAST) at Pakistan. I am an editor of three Book which is published by INTECHWEB which is an European organization.