Donglin Liang

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Formally Defining a Graphical Language for Monitoring and Checking Object Interactions.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

2006

Servicetizing User Experiences for Complex Business Application.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006

Improving the Modeling of Use Case Relationship.

[BibT_eX]

[DOI]

Jian Tang

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Testing Scenario Implementation with Behavior Contracts.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005

Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.

[BibT_eX]

[DOI]

Maikel Pennings

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.

[BibT_eX]

[DOI]

George Devaraj

Mats Per Erik Heimdahl

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Monitoring with Behavior View Diagrams for Debugging.

[BibT_eX]

[DOI]

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

Debugging object-oriented programs with behavior views.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2002

Equivalence analysis and its application in improving the efficiency of program slicing.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

Gamma system: continuous evolution of software after deployment.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2002

Evaluating the precision of static reference analysis using profiling.

[BibT_eX]

[DOI]

Maikel Pennings

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2001

Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 8th International Symposium, 2001

Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java.

[BibT_eX]

[DOI]

Maikel Pennings

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

Regression Test Selection for Java Software.

[BibT_eX]

[DOI]

Steven Alexander Spoon

Ashish Gujarathi

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

2000

Light-weight context recovery for efficient and accurate program analyses.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Equivalence analysis: a general technique to improve the efficiency of data-flow analyses in the presence of pointers.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Maintenance, 1999

Efficient Points-to Analysis for Whole-Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1999

1998

Slicing Objects Using System Dependence Graphs.

[BibT_eX]

[DOI]