A method for automatically generating inputs of software bug
Xiaofei Zhang · 2010
Utilizing software patch information,combining static analysis,symbolic execution and constraint solving,a new method for automatically generating test inputs was presented.The method can automatically generate test inputs of bypassing patch location,simultaneously find new effective executable paths to trigger bugs,then find new software bugs.A software bug was found in GNU Mailutils by applying this method.The method can analyze actual software codes,and contribute to the maturity of software patchs.