Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels.

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases