EDBT 2026 Demo / reviewers in the wild / expert
Arkady Bron
dblp:12/5635
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 2005
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing › test coverage
coverage analysis |
0.1 | 1 | 2005 | Applications of synchronization coverage · PPoPP 2005 |
Software testing › concurrency testing
multithreaded program testing |
0.1 | 1 | 2005 | Applications of synchronization coverage · PPoPP 2005 |
Methods — techniques the papers use, named apart from their topics
coverage analysis · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2005 | Applications of synchronization coverageabstractCoverage analysis is a useful testing technology. However, some coverage models are more acceptable to the industry than others. In the field of testing multi-threaded applications, there is a need for a coverage model that can be used to evaluate tests for concurrent completeness and to find new testing requirements. We present a new coverage model: synchronization coverage. This model is simple to understand and the action items generated by each uncovered task are clear to testers and developers. We propose that synchronization coverage could, and should, become one of the more commonly used coverage models. Arkady Bron, Eitan Farchi, Yonit Magid, Yarden Nir-Buchbinder, Shmuel Ur |
PPoPP | 1 |