Chang Liu

Software Components with Retrospectors

Chang Liu, Debra J. Richardson, Chang Liu, 1998 .

Automatic API Usage Rule Extraction for Software Model Checking

Chang Liu, 2005 .

Term rewriting and all that

Chang Liu, Chang Liu, 2000, SOEN.

Term rewriting and all that

Chang Liu, 2000, SOEN.

Research directions in RAIC

Chang Liu, Debra J. Richardson, Chang Liu, 2002, SOEN.