13 citations · 22 across the 5 of their papers we have counts for
1 paper · 2 filters
Stefan Marr, Carmen Torres Lopez, Dominik Aumayr +2
Today's complex software systems combine high-level concurrency models. Each model is used to solve a specific set of problems. Unfortunately, debuggers support only the low-level…