PSTM Transaction Scheduler Verification Based on CSP and Testing.
Miroslav PopovicMarko PopovicBranislav KordicHuibiao ZhuPublished in: ECBS (2021)
Keyphrases
- constraint satisfaction problems
- formal verification
- symbolic execution
- database
- test generation
- model checking
- decomposition methods
- concurrency control
- constraint propagation
- constraint satisfaction
- scheduling algorithm
- arc consistency
- real time database systems
- constraint solving
- tree decomposition
- test data generation
- tree decompositions
- transaction management
- software testing
- test set
- state space
- np hard
- data mining