1. 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

2. 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

3. 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

4. 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

5. 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

6. 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

7. 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

8. 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

9. 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

10. 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

11. 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

12. 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

13. 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

14. 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: ).
“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

15. 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

16. Thank You
April 24, 2019