Verifying Behavioral Correctness of Design Pattern Implementation.

Tu Peng Jing Dong Yajing Zhao Verifying Behavioral Correctness of Design Pattern Implementation. 454-459 2008 SEKE conf/seke/2008 db/conf/seke/seke2008.html#PengDZ08