Interleaving-tree based fine-grained linearizability fault localization

DOI10.1007/978-3-319-99933-3_7MaRDI QIDQ6041162zbMATH OpenFDO

Authors

Publication date 26 May 2023

Published in Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99933-3_7

zbMATH Keywords

bug localizationconcurrencylinearizabilitytesting

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Root causing linearizability violations
• Verifying concurrent programs against sequential specifications
• Modular verification of concurrency-aware linearizability
• Linearizability on hardware weak memory models
• Relating trace refinement and linearizability

Cited in

(1)

• Root causing linearizability violations

This page was built for publication: Interleaving-tree based fine-grained linearizability fault localization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6041162)