Topic modeling in software engineering research
Topic modeling using models such as Latent Dirichlet Allocation (LDA) is a text mining
technique to extract human-readable semantic “topics”(ie, word clusters) from a corpus of …
technique to extract human-readable semantic “topics”(ie, word clusters) from a corpus of …
Reproducibility in evolutionary computation
Experimental studies are prevalent in Evolutionary Computation (EC), and concerns about
the reproducibility and replicability of such studies have increased in recent times, reflecting …
the reproducibility and replicability of such studies have increased in recent times, reflecting …
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 …
[PDF][PDF] “These results must be false”: A usability evaluation of constant-time analysis tools
Cryptography secures our online interactions, transactions, and trust. To achieve this goal,
not only do the cryptographic primitives and protocols need to be secure in theory, they also …
not only do the cryptographic primitives and protocols need to be secure in theory, they also …
A retrospective study of one decade of artifact evaluations
Most software engineering research involves the development of a prototype, a proof of
concept, or a measurement apparatus. Together with the data collected in the research …
concept, or a measurement apparatus. Together with the data collected in the research …
GitHub repositories with links to academic papers: Public access, traceability, and evolution
Traceability between published scientific breakthroughs and their implementation is
essential, especially in the case of open-source scientific software which implements …
essential, especially in the case of open-source scientific software which implements …
EvoSL: a large open-source corpus of changes in Simulink models & projects
Having readily available corpora is crucial for performing replication, reproduction,
extension, and verification studies of existing research tools and techniques. MAT …
extension, and verification studies of existing research tools and techniques. MAT …
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 …
Longevity of Artifacts in Leading Parallel and Distributed Systems Conferences: a Review of the State of the Practice in 2023
Q Guilloteau, F Ciorba, M Poquet, D Goepp… - Proceedings of the 2nd …, 2024 - dl.acm.org
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 …
Research artifacts and citations in computer systems papers
E Frachtenberg - PeerJ Computer Science, 2022 - peerj.com
Research in computer systems often involves the engineering, implementation, and
measurement of complex systems software and data. The availability of these artifacts is …
measurement of complex systems software and data. The availability of these artifacts is …