Symbolic execution of stored procedures in database management systems.
Muhammad Suleman MahmoodMaryam Abdul GhafoorJunaid Haroon SiddiquiPublished in: ASE (2016)
Keyphrases
- database management systems
- symbolic execution
- stored procedures
- data types
- database applications
- microsoft sql server
- database server
- test generation
- static analysis
- test data generation
- sql server
- database systems
- data management
- database management
- database design
- data storage
- data integrity
- object relational
- data model
- visual basic
- database development
- source code
- user defined functions
- database technology
- database
- relational database systems
- database programming
- management system
- data flow
- programming language
- relational databases
- pl sql
- db udb
- application development
- oracle database
- databases
- data access
- concurrency control
- index structure
- relational database management systems
- transaction management
- database objects
- object oriented
- data warehousing
- data modeling
- database administrators
- database administration
- data integration
- business intelligence
- test cases
- sql queries
- case study