Pex Extension for Generating User Input Validation Code for Web Applications.
Karel FrajtákMiroslav BuresIvan JelínekPublished in: ICSOFT EA (2014)
Keyphrases
- web applications
- user input
- symbolic execution
- user interaction
- static analysis
- application development
- source code
- single view reconstruction
- end users
- web application development
- web services
- test generation
- visual studio
- mashup
- specification language
- test data generation
- query interface
- sql injection
- open source
- query processing
- web development
- high level