Keyphrases
Database Program
100%
Symbolic Execution
100%
Unit Testing
100%
Relational Database
33%
SQL Statement
33%
Relational Constraints
33%
Complex Structure
16%
Integrity Constraints
16%
Program Code
16%
Database Content
16%
Automatic Generation
16%
Data Integrity
16%
Target Language
16%
Complex Behavior
16%
Test Input
16%
Test Case Generation
16%
Java Method
16%
Path Cover
16%
Execution Path
16%
Database Table
16%
Test Generation Tools
16%
Microsoft
16%
Representative View
16%
Actual Behaviour
16%
Reasonable Time
16%
Detecting Errors
16%
INIS
constraints
100%
units
100%
testing
100%
data
80%
tools
40%
algorithms
40%
errors
40%
computer codes
20%
exercise
20%
alloys
20%
tables
20%
java
20%
Computer Science
Structured Query Language
100%
Symbolic Execution
100%
Relational Database
33%
Test Generation
16%
Automatic Generation
16%
Use Case
16%
Manipulation (Databases)
16%
Integrity Constraint
16%
Execution Path
16%
Normal Program
16%
Target Language
16%
Database Table
16%
Data Integrity
16%
Representative View
16%
Enabling Technique
16%
Complex Structure
16%
Actual Behavior
16%