Login / Signup
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels.
Ahmed Bouajjani
Constantin Enea
Enrique Román-Calvo
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
dynamic environments
database
machine learning
artificial intelligence
case study
hidden markov models
data sets
information retrieval
search engine
decision trees
expert systems
transaction data
real time database systems