" Get in Researchers; We're Measuring Reproducibility": A Reproducibility Study of Machine Learning Papers in Tier 1 Security Conferences
Reproducibility is crucial to the advancement of science; it strengthens confidence in
seemingly contradictory results and expands the boundaries of known discoveries …
seemingly contradictory results and expands the boundaries of known discoveries …
A transferability study of interpolation-based hardware model checking for software verification
Assuring the correctness of computing systems is fundamental to our society and economy,
and formal verification is a class of techniques approaching this issue with mathematical …
and formal verification is a class of techniques approaching this issue with mathematical …
Community expectations for research artifacts and evaluation processes
Background. Artifact evaluation has been introduced into the software engineering and
programming languages research community with a pilot at ESEC/FSE 2011 and has since …
programming languages research community with a pilot at ESEC/FSE 2011 and has since …
A second look at the impact of passive voice requirements on domain modeling: Bayesian reanalysis of an experiment
The quality of requirements specifications may impact subsequent, dependent software
engineering (SE) activities. However, empirical evidence of this impact remains scarce and …
engineering (SE) activities. However, empirical evidence of this impact remains scarce and …
Longevity of Artifacts in Leading Parallel and Distributed Systems Conferences: a Review of the State of the Practice in 2023
Reproducibility is the cornerstone of science. Many scientific communities have been struck
by the reproducibility crisis, and computer science is no exception. Its answer has been to …
by the reproducibility crisis, and computer science is no exception. Its answer has been to …
Replication in requirements engineering: the NLP for RE case
Natural language processing (NLP) techniques have been widely applied in the
requirements engineering (RE) field to support tasks such as classification and ambiguity …
requirements engineering (RE) field to support tasks such as classification and ambiguity …
What has artifact evaluation ever done for us?
B Hermann - IEEE Security & Privacy, 2022 - ieeexplore.ieee.org
Artifact evaluation is an established peer review practice in several fields of computer
science research. In the security field it only has been introduced recently. The author …
science research. In the security field it only has been introduced recently. The author …
[HTML][HTML] Requirements quality research artifacts: Recovery, analysis, and management guideline
Requirements quality research, which is dedicated to assessing and improving the quality of
requirements specifications, is dependent on research artifacts like data sets (containing …
requirements specifications, is dependent on research artifacts like data sets (containing …
[HTML][HTML] Research artifacts for human-oriented experiments in software engineering: An ACM badges-driven structure proposal
Abstract Context: The Open Science (OS) movement promotes the value of making public
the research artifacts (datasets, analysis scripts, guidelines, etc.) used during empirical …
the research artifacts (datasets, analysis scripts, guidelines, etc.) used during empirical …
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations
Sharing research artifacts (eg, software, data, protocols) is an immensely important topic for
improving transparency, replicability, and reusability in research, and has recently gained …
improving transparency, replicability, and reusability in research, and has recently gained …