Dominik Jungo David Buchmann Ulrich Ultes-Nitsche Testing of Semantic Properties in XML Documents. 38-46 2006 conf/vveis/2006 MSVVEIS db/conf/vveis/msvveis2006.html#JungoBU06