Donglin Liang

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 3

Top Topics

Merging Algorithm

User Intervention

Transformation Models

Top Venues

Publications

Hongna Lou, Chaoying Li, Donglin Liang, Meng Yang, Yanjun Shi
A Rule-based Ramp Merging Algorithm for Multilane Highway in CAV Environments. CSCWD (2023)
Donglin Liang, Longfei Ma, Hongna Lou, Liangjie Yu, Yanjun Shi
An Adaptive Algorithm to Offload Task for User's QoE in Vehicular Edge System. CSCWD (2023)
Donglin Liang, Tao Li, Jiajian Li, Xiaojun Zheng, Yanjun Shi
A Leader-Follower Model with Communication Delay for Platooning Control in Highway Scenario. CSCWD (2022)
Kai Xu, Donglin Liang
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions. MoDELS (2007)
Donglin Liang, Kai Xu
Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile. QSIC (2007)
Jian Tang, Donglin Liang
Improving the Modeling of Use Case Relationship. RE (2006)
Donglin Liang
Servicetizing User Experiences for Complex Business Application. SOSE (2006)
Donglin Liang, Kai Xu
Testing Scenario Implementation with Behavior Contracts. COMPSAC (1) (2006)
Donglin Liang, Kai Xu
Debugging object-oriented programs with behavior views. AADEBUG (2005)
Donglin Liang, Kai Xu
Monitoring with Behavior View Diagrams for Debugging. APSEC (2005)
Donglin Liang, Maikel Pennings, Mary Jean Harrold
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. PASTE (2005)
George Devaraj, Mats Per Erik Heimdahl, Donglin Liang
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities. COMPSAC (1) (2005)
Donglin Liang, Mary Jean Harrold
Equivalence analysis and its application in improving the efficiency of program slicing. ACM Trans. Softw. Eng. Methodol. 11 (3) (2002)
Donglin Liang, Maikel Pennings, Mary Jean Harrold
Evaluating the precision of static reference analysis using profiling. ISSTA (2002)
Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton
Gamma system: continuous evolution of software after deployment. ISSTA (2002)
Donglin Liang, Maikel Pennings, Mary Jean Harrold
Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java. PASTE (2001)
Donglin Liang, Mary Jean Harrold
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses. SAS (2001)
Mary Jean Harrold, James A. Jones, Tongyu Li, Donglin Liang, Alessandro Orso, Maikel Pennings, Saurabh Sinha, Steven Alexander Spoon, Ashish Gujarathi
Regression Test Selection for Java Software. OOPSLA (2001)
Donglin Liang, Mary Jean Harrold
Light-weight context recovery for efficient and accurate program analyses. ICSE (2000)
Donglin Liang, Mary Jean Harrold
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion. ICSM (1999)
Donglin Liang, Mary Jean Harrold
Equivalence analysis: a general technique to improve the efficiency of data-flow analyses in the presence of pointers. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)
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)
Donglin Liang, Mary Jean Harrold
Efficient Points-to Analysis for Whole-Program Analysis. ESEC / SIGSOFT FSE (1999)
Donglin Liang, Mary Jean Harrold
Slicing Objects Using System Dependence Graphs. ICSM (1998)