Extending symbolic execution for automated testing of stored procedures.
Maryam Abdul GhafoorMuhammad Suleman MahmoodJunaid Haroon SiddiquiPublished in: Softw. Qual. J. (2020)
Keyphrases
- symbolic execution
- stored procedures
- test generation
- test data generation
- specification language
- static analysis
- programming language
- source code
- sql server
- database development
- data types
- database design
- database server
- database applications
- data flow
- visual basic
- test cases
- relational databases
- application developers
- data access
- database administrators
- database programming
- microsoft sql server
- software testing
- general purpose
- data integrity
- database management systems
- databases
- database
- open source
- business intelligence
- quality assurance
- test set