Antonia Bertolino Jinghua Gao Eda Marchetti Andrea Polini TAXI - A Tool for XML-Based Testing. 53-54 2007 conf/icse/2007c ICSE Companion http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.72 db/conf/icse/icsec2007.html#BertolinoGMP07