Maximal Models of Assertion Graph in GSTE. - Yang, Guowu; Yang, Jin; Song, Xiaoyu; Xie, Fei (2006)