Abstraction and mining of traces to explain concurrency bugs

DOI10.1007/S10703-015-0240-5MaRDI QIDQ681463zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher

Publication date 12 February 2018

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10703-015-0240-5

zbMATH Keywords

bug explanationconcurrency bugsfault localizationlearningpattern mining

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Succinct representation of concurrent trace sets
• Error invariants for concurrent traces
• Finding Concurrency-Related Bugs Using Random Isolation
• On interference abstractions
• Trace-based symbolic analysis for atomicity violations

Cites work

• Abstraction and mining of traces to explain concurrency bugs
• Counterfactuals.
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• The serializability of concurrent database updates

Cited in

(5)

• Error invariants for concurrent traces
• Succinct representation of concurrent trace sets
• Finding Concurrency-Related Bugs Using Random Isolation
• A formalization of Heisenbugs and their causes
• Abstraction and mining of traces to explain concurrency bugs

Describes a project that uses

Uses Software

• Eraser
• CloSpan
• AVIO
• BIDE
• CTrigger
• CHESS
• RacerX
• Goldilocks
• PrefixSpan
• bzip2smp
• FastTrack
• Falcon

This page was built for publication: Abstraction and mining of traces to explain concurrency bugs

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