Zhang, Cheng, and Goldsby receive best paper award

The paper "AMOEBA-RT: Run-time Verification of Adaptive Software" by Ji Zhang (PhD ’07), Betty H. C. Cheng, and Heather Goldsby has been awarded Best Paper for the IEEE/ACM MODELS Workshop on Models Design Verification and Validation.

(Date Posted: 2007-11-20)