| 2007 |
|---|
| 20 | EE | Kai Xu,
Donglin Liang:
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions.
MoDELS 2007: 620-634 |
| 19 | EE | Donglin Liang,
Kai Xu:
Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile.
QSIC 2007: 32-39 |
| 2006 |
|---|
| 18 | EE | Donglin Liang,
Kai Xu:
Testing Scenario Implementation with Behavior Contracts.
COMPSAC (1) 2006: 395-402 |
| 17 | EE | Jian Tang,
Donglin Liang:
Improving the Modeling of Use Case Relationship.
RE 2006: 348-351 |
| 16 | EE | Donglin Liang:
Servicetizing User Experiences for Complex Business Application.
SOSE 2006: 147-155 |
| 2005 |
|---|
| 15 | EE | Donglin Liang,
Kai Xu:
Debugging object-oriented programs with behavior views.
AADEBUG 2005: 133-142 |
| 14 | EE | Donglin Liang,
Kai Xu:
Monitoring with Behavior View Diagrams for Debugging.
APSEC 2005: 637-644 |
| 13 | EE | George Devaraj,
Mats Per Erik Heimdahl,
Donglin Liang:
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.
COMPSAC (1) 2005: 455-462 |
| 12 | EE | Donglin Liang,
Maikel Pennings,
Mary Jean Harrold:
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.
PASTE 2005: 6-12 |
| 2002 |
|---|
| 11 | EE | Donglin Liang,
Maikel Pennings,
Mary Jean Harrold:
Evaluating the precision of static reference analysis using profiling.
ISSTA 2002: 22-32 |
| 10 | EE | Alessandro Orso,
Donglin Liang,
Mary Jean Harrold,
Richard J. Lipton:
Gamma system: continuous evolution of software after deployment.
ISSTA 2002: 65-69 |
| 9 | EE | Donglin Liang,
Mary Jean Harrold:
Equivalence analysis and its application in improving the efficiency of program slicing.
ACM Trans. Softw. Eng. Methodol. 11(3): 347-383 (2002) |
| 2001 |
|---|
| 8 | | Mary Jean Harrold,
James A. Jones,
Tongyu Li,
Donglin Liang,
Alessandro Orso,
Maikel Pennings,
Saurabh Sinha,
S. Alexander Spoon,
Ashish Gujarathi:
Regression Test Selection for Java Software.
OOPSLA 2001: 312-326 |
| 7 | EE | Donglin Liang,
Maikel Pennings,
Mary Jean Harrold:
Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java.
PASTE 2001: 73-79 |
| 6 | EE | Donglin Liang,
Mary Jean Harrold:
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses.
SAS 2001: 279-298 |
| 2000 |
|---|
| 5 | EE | Donglin Liang,
Mary Jean Harrold:
Light-weight context recovery for efficient and accurate program analyses.
ICSE 2000: 366-375 |
| 1999 |
|---|
| 4 | EE | Donglin Liang,
Mary Jean Harrold:
Efficient Points-to Analysis for Whole-Program Analysis.
ESEC / SIGSOFT FSE 1999: 199-215 |
| 3 | EE | Donglin Liang,
Mary Jean Harrold:
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion.
ICSM 1999: 421- |
| 2 | EE | Donglin Liang,
Mary Jean Harrold:
Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers.
PASTE 1999: 39-46 |
| 1998 |
|---|
| 1 | EE | Donglin Liang,
Mary Jean Harrold:
Slicing Objects Using System Dependence Graphs.
ICSM 1998: 358-367 |
