Automated Verification and Test Case Generation for Input Validation

doi 10.1145/1138929.1138936
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press