Reducing user input validation code in web applications using Pex extension.
Karel FrajtákMiroslav BuresIvan JelínekPublished in: CompSysTech (2014)
Keyphrases
- web applications
- user input
- symbolic execution
- static analysis
- source code
- user interaction
- application development
- single view reconstruction
- end users
- concurrent programs
- web services
- test generation
- test data generation
- sql injection
- web application development
- multimedia
- data flow
- visual studio
- artificial intelligence
- database