Automatically reducing tree-structured test inputs | IEEE Conference Publication | IEEE Xplore