InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation. - Shuanglong Chang; Juntao Gao; Yilong Yang 001 (ICSE Companion, 2023)