An Adaptive Algorithm to Offload Task for User's QoE in Vehicular Edge System - Donglin Liang; Longfei Ma; Hongna Lou; Liangjie Yu; Yanjun Shi (26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023, Rio de Janeiro, Brazil, May 24-26, 2023, 2023)

A Rule-based Ramp Merging Algorithm for Multilane Highway in CAV Environments - Hongna Lou; Chaoying Li; Donglin Liang; Meng Yang; Yanjun Shi (26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023, Rio de Janeiro, Brazil, May 24-26, 2023, 2023)

A Leader-Follower Model with Communication Delay for Platooning Control in Highway Scenario - Donglin Liang; Tao Li; Jiajian Li; Xiaojun Zheng; Yanjun Shi (25th IEEE International Conference on Computer Supported Cooperative Work in Design, CSCWD 2022, Hangzhou, China, May 4-6, 2022, 2022)

Formally Defining a Graphical Language for Monitoring and Checking Object Interactions - Kai Xu; Donglin Liang (Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, 2007)

Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile - Donglin Liang; Kai Xu (Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, 2007)

Testing Scenario Implementation with Behavior Contracts - Donglin Liang; Kai Xu (30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, 2006)

Improving the Modeling of Use Case Relationship - Jian Tang; Donglin Liang (14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, 2006)

Servicetizing User Experiences for Complex Business Application - Donglin Liang (The 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), May 27-28, 2006, Shanghai, China, in conjunction with ICSE 2006, 2006)

Debugging object-oriented programs with behavior views - Donglin Liang; Kai Xu (Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005, 2005)

Monitoring with Behavior View Diagrams for Debugging - Donglin Liang; Kai Xu (12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, 2005)

Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities - George Devaraj; Mats Per Erik Heimdahl; Donglin Liang (29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, 2005)

Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs - Donglin Liang; Maikel Pennings; Mary Jean Harrold (Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005, 2005)

Equivalence analysis and its application in improving the efficiency of program slicing - Donglin Liang; Mary Jean Harrold (ACM Trans. Softw. Eng. Methodol., 2002)

Evaluating the precision of static reference analysis using profiling - Donglin Liang; Maikel Pennings; Mary Jean Harrold (Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, 2002)

Gamma system: continuous evolution of software after deployment - Alessandro Orso; Donglin Liang; Mary Jean Harrold; Richard J. Lipton (Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, 2002)

Regression Test Selection for Java Software - Mary Jean Harrold; James A. Jones; Tongyu Li; Donglin Liang; Alessandro Orso; Maikel Pennings; Saurabh Sinha; Steven Alexander Spoon; Ashish Gujarathi (Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, Tampa, Florida, USA, October 14-18, 2001, 2001)

Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java - Donglin Liang; Maikel Pennings; Mary Jean Harrold (Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001, 2001)

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses - Donglin Liang; Mary Jean Harrold (Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings, 2001)

Light-weight context recovery for efficient and accurate program analyses - Donglin Liang; Mary Jean Harrold (Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000, 2000)

Equivalence analysis: a general technique to improve the efficiency of data-flow analyses in the presence of pointers - Donglin Liang; Mary Jean Harrold (ACM SIGSOFT Softw. Eng. Notes, 1999)

Efficient Points-to Analysis for Whole-Program Analysis - Donglin Liang; Mary Jean Harrold (Software Engineering - ESEC/FSE'99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings, 1999)

Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion - Donglin Liang; Mary Jean Harrold (1999 International Conference on Software Maintenance, ICSM 1999, Oxford, England, UK, August 30 - September 3, 1999, 1999)

Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers - Donglin Liang; Mary Jean Harrold (Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999, 1999)

Slicing Objects Using System Dependence Graphs - Donglin Liang; Mary Jean Harrold (1998 International Conference on Software Maintenance, ICSM 1998, Bethesda, Maryland, USA, November 16-19, 1998, 1998)