Weilei Zhang

Discovering accurate interclass test dependences

Barbara G. Ryder, Weilei Zhang, 2007, PASTE '07.

Recommendation Z.100 (2016) Annex F1 (10/16) : Annex F1:SDL-2010 formal definition: General overview

Ying Wang, Andreas Prinz, Robert Eschbach, 2016 .

Automatic construction of accurate application call graph with library call abstraction for Java: Research Articles

Barbara G. Ryder, Weilei Zhang, B. Ryder, 2007 .

Automatic construction of accurate application call graph with library call abstraction for Java

Barbara G. Ryder, Weilei Zhang, B. Ryder, 2007, J. Softw. Maintenance Res. Pract..

Constructing Accurate Application Call Graphs For Java To Model Library Callbacks

Barbara G. Ryder, Weilei Zhang, B. Ryder, 2006, 2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation.

Recommendation Z.100 (2016) Annex F2 (10/16): Z.100 : Specification and Description Language - Overview of SDL-2010 - SDL formal definition: Static semantics

Ying Wang, Andreas Prinz, Robert Eschbach, 2016 .