Given a program where none of our fuzzers finds any bugs, how do we know which fuzzer is
better? In practice, we often look to code coverage as a proxy measure of fuzzer …

In this paper, we take the fundamental perspective of fuzzing as a learning process.
Suppose before fuzzing, we know nothing about the behaviors of a program P: What does it …

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 …

Key Performance Indicators (KPIs) are essential time-series metrics for ensuring the
reliability and stability of many software systems. They faithfully record runtime states to …

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 …

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 …

Abstract The Software Engineering (SE) community has been embracing the open science
policy and encouraging researchers to disclose artifacts in their publications. However, the …

Research in computer systems often involves the engineering, implementation, and
measurement of complex systems software and data. The availability of these artifacts is …

Natural language processing (NLP) techniques have been widely applied in the
requirements engineering (RE) field to support tasks such as classification and ambiguity …

(Re)Use of Research Results (Is Rampant) Page 1 DOI:10.1145/3554976 Prior pessimism about
reuse in software engineering research may have been a result of using the wrong methods to …