InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation | IEEE Conference Publication | IEEE Xplore