C.-C. Hwang S.-K. Huang D.-J. Chen D. Chen Object-Oriented Program Behavior Analysis Based on Control Patterns. 81-87 2001 conf/apaqs/2001 APAQS http://doi.ieeecomputersociety.org/10.1109/APAQS.2001.990005 db/conf/apaqs/apaqs2001.html#HwangHCC01