Diagnostic Evaluation Mainul Islam Software Engineering Lab Department of Computer Science and Engineering University of Texas at Arlington, USA November 11, 2011. Supervisor Dr. Christoph Csallner

Introduction Bachelor in Computer Science and Engineering University of Dhaka, Bangladesh Completed in April, 2007 Software Engineer at SoftwarePeople|Enfatico August 2007 – July 2009 BS to PhD program in Computer Science University of Texas at Arlington Started at Fall 2009 Research Interests: Software Engineering – Program analysis, Automated Testing, Symbolic Execution April 24, 2019

BS to PhD Program - Milestones Expected Semester Status Form Committee 3rd or 4th long semester Done Diagnostic Evaluation 4th or 5th long semester - Comprehensive Exam 2 long semesters after diagnostics Milestone(s) Expected Semester Status Form Committee 3rd or 4th long semester - Diagnostic Evaluation 4th or 5th long semester Comprehensive Exam 2 long semesters after diagnostics Committee (formed in Fall 2011) Dr. Christoph Csallner Dr. David Kung Dr. Donggang Liu Dr. Jeff (Yu) Lei April 24, 2019

Diagnostic Evaluation – Requirements BS to PhD program Total course requirement: 30 hours 4 Core courses – 12 hours 3 Subject area (6000-level) courses – 9 hours 3 Research courses – 9 hours No grades below B is accepted Grade Point Average (GPA) must be 3.5 or Higher April 24, 2019

Course Work - Core  -  = Currently Enrolled Course Number Name of Course Credit Hour(s) Semester Grade CSE 5311 Design and Analysis of Algorithms 3.00 Fall 2009 - CSE 5350 Computer Architecture II CSE 5317 Design and Construction of Compilers Spring 2010 CSE 5301 Data Analysis and Modeling Techniques Fall 2011   = Currently Enrolled April 24, 2019

Course Work - Advanced  -  = Currently Enrolled Course Number Name of Course Credit Hour(s) Semester Grade CSE 6311 Advanced Computational Models and Algorithms 3.00 Summer 2010 - CSE 6329 Special Topics in Advanced Software Engineering Spring 2011 CSE 6339 Special Topics in Advanced Database Systems Fall 2011   = Currently Enrolled April 24, 2019

Course Work - Research  P -  = Currently Enrolled Course Number Name of Course Credit Hour(s) Semester Grade CSE 6397 Research in Computer Science 3.00 Fall 2009 P Spring 2010 CSE 5393 Directed Study in Computer Science Summer 2010 - CSE 6697 6.00 Spring 2011 Fall 2011   = Currently Enrolled April 24, 2019

Course Work - Other - P Course Number Name of Course Credit Hour(s) Semester Grade CSE 5324 Software Engineering: Analysis, Design and Testing 3.00 Spring 2010 - CSE 5191 Individual Study in Computer Science (Internship) 1.00 Fall 2010 P April 24, 2019

Course Work - Summary Course Type Total Credit Hour(s) Required Done Core 12.00 Advanced 9.00 Research 18.00 Other - 4.00 Total 30.00 43.00 GPA: *.*** * Total Credit hour(s) are calculated including the currently enrolled courses * GPA is calculated with the available grades only April 24, 2019

Research Work Mock Class Generation To generate test cases, specially for code that uses: Multiple Interfaces Annotations Reflections - But doest not have any (usable) classes that satisfy the constraints in the code. April 24, 2019

Example public class C { public void foo (A a, int x) { int y = a.m1(x); if (a instanceof B) { B b = (B) a; int z = b.m2(x); } public interface A { int m1 (int x); } public interface B { int m2 (int x); To reach this block of code, ‘a’ must be an instance of A, as well as an instance of B April 24, 2019

Subtype Constraints public interface A { int m1 (int x); } public interface B { int m2 (int x); public class C { public void foo (A a, int x) { int y = a.m1(x); if (a instanceof B) { B b = (B) a; int z = b.m2(x); Object Object A B C A B C M null Initial types in the system null A desired solution: with new type M Constraints: type(a) subtypeof A type(a) != null type type(a) subtypeof B April 24, 2019

Subtype Relation Matrix public interface A { int m1 (int x); } public interface B { int m2 (int x); public class C { public void foo (A a, int x) { int y = a.m1(x); if (a instanceof B) { B b = (B) a; int z = b.m2(x); Null Object A B C x 1 2 3 4 Null Object A B C M x 1 2 3 4 5 Null Object x 1 Null Object A B C M x 1 2 3 4 5 MA MB MC Solution: MA = true MB = true MC = false April 24, 2019

Publication(s) “Dsc+Mock: A test case + mock class generator in support of coding against interfaces” by Mainul Islam and Christoph Csallner. In Proc. 8th International Workshop on Dynamic Analysis (WODA), July 2010 (pages: 26--31). “Using Dynamic Symbolic Execution To Generate Advanced Mock Classes” by Mainul Islam and Christoph Csallner. Submitted in the 34th International Conference on Software Engineering (ICSE), 2012. April 24, 2019

Plan for Next Milestone Milestone(s) Expected Semester Status Form Committee 3rd or 4th long semester Done Diagnostic Evaluation 4th or 5th long semester - Comprehensive Exam 2 long semesters after diagnostics Comprehensive Exam Deadline: Fall 2012 Plan: Spring 2012 (in May) April 24, 2019

Thank You April 24, 2019