Static analysis to enable verification and transformation of data-intensive business applications.
Komondoor V. RaghavanPublished in: ForMABS@ASE (2016)
Keyphrases
- data intensive
- business applications
- static analysis
- web services
- symbolic execution
- java card
- test generation
- dynamic analysis
- source code
- data access
- business processes
- data management
- data mining
- database applications
- web applications
- big data
- regular expressions
- business process
- grid computing
- model checking
- data sets
- reverse engineering
- test suite
- response time
- case study