| 2007 | ||
|---|---|---|
| c19 | Kai Xu, Donglin Liang: Formally Defining a Graphical Language for Monitoring and Checking Object Interactions. MoDELS 2007: 620-634 | |
| c18 | ||
| 2006 | ||
| c17 | Donglin Liang, Kai Xu: Testing Scenario Implementation with Behavior Contracts. COMPSAC (1) 2006: 395-402 | |
| c16 | ||
| c15 | ||
| 2005 | ||
| c14 | Donglin Liang, Kai Xu: Debugging object-oriented programs with behavior views. AADEBUG 2005: 133-142 | |
| c13 | ||
| c12 | George Devaraj, Mats Per Erik Heimdahl, Donglin Liang: Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) 2005: 455-462 | |
| c11 | 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 | ||
| j1 | 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) | |
| c10 | Donglin Liang, Maikel Pennings, Mary Jean Harrold: Evaluating the precision of static reference analysis using profiling. ISSTA 2002: 22-32 | |
| c9 | Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton: Gamma system: continuous evolution of software after deployment. ISSTA 2002: 65-69 | |
| 2001 | ||
| c8 | 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 | |
| c7 | Donglin Liang, Maikel Pennings, Mary Jean Harrold: Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. PASTE 2001: 73-79 | |
| c6 | Donglin Liang, Mary Jean Harrold: Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses. SAS 2001: 279-298 | |
| 2000 | ||
| c5 | Donglin Liang, Mary Jean Harrold: Light-weight context recovery for efficient and accurate program analyses. ICSE 2000: 366-375 | |
| 1999 | ||
| c4 | Donglin Liang, Mary Jean Harrold: Efficient Points-to Analysis for Whole-Program Analysis. ESEC / SIGSOFT FSE 1999: 199-215 | |
| c3 | Donglin Liang, Mary Jean Harrold: Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion. ICSM 1999: 421- | |
| c2 | 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 | ||
| c1 | Donglin Liang, Mary Jean Harrold: Slicing Objects Using System Dependence Graphs. ICSM 1998: 358-367 | |
Colors in the list of coauthors
Last update Sun May 19 18:03:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page