Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Rebecca Brunner

dblp:278/0645 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
0since 2021 · last 2020
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 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 · 44% Empirical software engineering · 44% Program verification · 13%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › test infrastructure
benchmark construction
0.412020
PAClab: a program analysis collaboratory · ESEC/SIGSOFT FSE 2020
Empirical software engineering
mining software repositories
0.412020
PAClab: a program analysis collaboratory · ESEC/SIGSOFT FSE 2020

Methods — techniques the papers use, named apart from their topics

program transformation · 0.4
YearPublicationVenuePosition
2020 PAClab: a program analysis collaboratory
abstract
We present a web-based Program Analysis Collaboratory (PAClab) tool that helps researchers to obtain realistic program benchmarks using user-defined selection criteria. Based on selection criteria, PAClab identifies relevant projects and its programs from open-source repositories, obtains those programs, and if necessary performs sound program transformations to adapt them to the targeted verification tool. PAClab makes the resulting program benchmarks available for download. PAClab is designed as a scalable, modular, and parametrizable tool that takes advantage of a computer cluster to handle multiple user requests.
Rebecca Brunner, Robert Dyer 0001, Maria Paquin, Elena Sherman
ESEC/SIGSOFT FSE1