Pex Extension for Generating User Input Validation Code for Web Applications.

Karel Frajtk, Miroslav Bures, Ivan Jelnek

Browse the full ICSoft paper archive.