Output Type Guided Random Test Case Generation for String Validation Routines | TUP Journals & Magazine | IEEE Xplore