Test case generation and reduction by automated input-output analysis | IEEE Conference Publication | IEEE Xplore