Titel

Merkliste
1 Ergebnisse

RegionTrack : A Trace-Based Sound and Complete Checker t..:

Ma, Xiaoxue ; Wu, Shangru ; Pobee, Ernest...
ACM Transactions on Software Engineering and Methodology (TOSEM). 30 (2020) 1 - p. 1-49 , 2020

Link: https://dl.acm.org/doi/10.1145/3412377

RT Journal
T1 <Title>RegionTrack				: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3412377&Exemplar=1&LAN=DE
				
A1 Ma, Xiaoxue
A1 Wu, Shangru
A1 Pobee, Ernest
A1 Mei, Xiupei
A1 Zhang, Hao
A1 Jiang, Bo
A1 Chan, Wing-Kwong
PB ACM
YR 2020
SN 1049-331X
SN 1557-7392
K1 Transactional atomicity violation
K1 conflict serializability
K1 debugging
K1 dynamic analysis
K1 linearizability
K1 non-serializable traces
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Dynamic analysis
JF ACM Transactions on Software Engineering and Methodology (TOSEM)
VO 30
IS 1
SP 1
OP 49
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3412377
DO https://dl.acm.org/doi/10.1145/3412377
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)