RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
复制标题
RegionTrack：基于跟踪的声音和完整检查器，用于调试事务原子性违规和不可序列化跟踪
DOI：
--
复制
发表时间：
2020
影响因子：
4.4
通讯作者：
W. K. chan
中科院分区：
文献类型：
--
作者：
Shangru Wu;Xiaoxue Ma;ERNEST POBEE;XIUPEI MEI;HAO ZHANG;Bo Jiang;W. K. chan
