Model checking XML manipulating software.

Xiang Fu, Tevfik Bultan, Jianwen Su

Browse the full ISSTA paper archive.