Testing the Semantics of W3C XML Schema. - Jian Bing Li; James Miller 001 (COMPSAC (1), 2005)