Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs.
Diego Caminha Barbosa De OliveiraZvonimir RakamaricGanesh GopalakrishnanAlan HumphreyQingyu MengMartin BerzinsPublished in: LCPC (2014)
Keyphrases
- concurrent systems
- temporal logic
- distributed systems
- model checking
- process algebra
- execution traces
- formal specification
- transition systems
- directed graph
- graph matching
- petri net
- undirected graph
- graph theory
- subgraph isomorphism
- graph clustering
- graph theoretic
- model based diagnosis
- hardware designs
- knowledge base
- java programs
- graph mining
- weighted graph
- software engineering
- knowledge representation