Cited By
View all- Al‐Mahfoudh MStutsman RGopalakrishnan G(2023)Efficient linearizability checking for actor‐based systemsSoftware: Practice and Experience10.1002/spe.325153:11(2163-2199)Online publication date: 22-Aug-2023
- Ko YZhu BKim J(2022)Fuzzing with automatically controlled interleavings to detect concurrency bugsJournal of Systems and Software10.1016/j.jss.2022.111379191:COnline publication date: 1-Sep-2022
- Cook VPeterson CPainter ZDechev D(2022)Quantifiability: a concurrent correctness condition modeled in vector spaceComputing10.1007/s00607-022-01092-3105:5(955-978)Online publication date: 7-Jun-2022
- Show More Cited By