Brecht Vandevoort, Bas Ketsman, Christoph Koch 0001, Frank Neven. Detecting Robustness against MVRC for Transaction Programs with Predicate Reads. In Julia Stoyanovich, Jens Teubner, Nikos Mamoulis, Evaggelia Pitoura, Jan Mühlig, editors, Proceedings 26th International Conference on Extending Database Technology, EDBT 2023, Ioannina, Greece, March 28-31, 2023. pages 565-577, OpenProceedings.org, 2023. [doi]