Demo Data from EDBT 2026 / reviewers in the wild / expert
Cheryl D. Kelly
dblp:18/3093
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 1992
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2
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
2 papers |
Software testing · 82% Requirements engineering and software design · 12% Concurrent programming · 6% | |
| Human-computer interaction and pervasive computing
1 paper |
User interface design and tools · 100% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
concurrency testing |
0.0 | 1 | 1992 | Structural Testing of Concurrent Programs · IEEE Trans. Software Eng. 1992 |
Software testing › test adequacy
coverage criteria |
0.0 | 1 | 1992 | Structural Testing of Concurrent Programs · IEEE Trans. Software Eng. 1992 |
Software testing
structural testing |
0.0 | 1 | 1992 | Structural Testing of Concurrent Programs · IEEE Trans. Software Eng. 1992 |
Software testing
test coverage |
0.0 | 1 | 1992 | Structural Testing of Concurrent Programs · IEEE Trans. Software Eng. 1992 |
User interface design and tools › user interface architecture
user interface management system |
0.0 | 1 | 1988 | Design Principles behind Chiron: A UIMS for Software Environments · ICSE 1988 |
Requirements engineering and software design
software design principles |
0.0 | 1 | 1988 | Design Principles behind Chiron: A UIMS for Software Environments · ICSE 1988 |
Concurrent programming
concurrency bugs |
0.0 | 1 | 1992 | Structural Testing of Concurrent Programs · IEEE Trans. Software Eng. 1992 |
Methods — techniques the papers use, named apart from their topics
static concurrency analysis · 0.0runtime monitoring · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1992 | Structural Testing of Concurrent ProgramsabstractAlthough structural testing techniques are among the weakest available with regard to developing confidence in sequential programs, they are not without merit. The authors extend the notion of structural testing criteria to concurrent programs and propose a hierarchy of supporting structural testing techniques. Coverage criteria described include concurrency state coverage, state transition coverage and synchronization coverage. Requisite support tools include a static concurrency analyzer and either a program transformation system or a powerful run-time monitor. Also helpful is a controllable run-time scheduler. The techniques proposed are suitable for Ada or CSP-like languages. Best results are obtained for programs having only static naming of tasking objects.> Richard N. Taylor, David L. Levine, Cheryl D. Kelly |
IEEE Trans. Software Eng. | 3 |
| 1988 | Design Principles behind Chiron: A UIMS for Software Environments
Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly |
ICSE | 4 |