Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
{MUZZ}: Thread-aware grey-box fuzzing for effective bug hunting in multithreaded programs
Grey-box fuzz testing has revealed thousands of vulnerabilities in real-world software owing
to its lightweight instrumentation, fast coverage feedback, and dynamic adjusting strategies …
to its lightweight instrumentation, fast coverage feedback, and dynamic adjusting strategies …
Greybox fuzzing for concurrency testing
Uncovering bugs in concurrent programs is a challenging problem owing to the
exponentially large search space of thread interleavings. Past approaches towards …
exponentially large search space of thread interleavings. Past approaches towards …
Stateless model checking concurrent programs with maximal causality reduction
We present maximal causality reduction (MCR), a new technique for stateless model
checking. MCR systematically explores the state-space of concurrent programs with a …
checking. MCR systematically explores the state-space of concurrent programs with a …
Dynamic partial order reduction for relaxed memory models
Under a relaxed memory model such as TSO or PSO, a concurrent program running on a
shared-memory multiprocessor may observe two types of nondeterminism: the …
shared-memory multiprocessor may observe two types of nondeterminism: the …
Segfuzz: Segmentizing thread interleaving to discover kernel concurrency bugs through fuzzing
Discovering kernel concurrency bugs through fuzzing is challenging. Identifying kernel
concurrency bugs, as opposed to non-concurrency bugs, necessitates an analysis of …
concurrency bugs, as opposed to non-concurrency bugs, necessitates an analysis of …
Controlled concurrency testing via periodical scheduling
Controlled concurrency testing (CCT) techniques have been shown promising for
concurrency bug detection. Their key insight is to control the order in which threads get …
concurrency bug detection. Their key insight is to control the order in which threads get …
Empirical research on concurrent software testing: A systematic map** study
Background: Concurrent software testing is a costly and difficult task, especially due to the
exponential increase in the test sequences caused by non-determinism. Such an issue has …
exponential increase in the test sequences caused by non-determinism. Such an issue has …
Parallel and distributed bounded model checking of multi-threaded programs
We introduce a structure-aware parallel technique for context-bounded analysis of
concurrent programs. The key intuition consists in decomposing the set of concurrent traces …
concurrent programs. The key intuition consists in decomposing the set of concurrent traces …
{SKI}: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
Kernel concurrency bugs are notoriously difficult to find during testing since they are only
triggered under certain instruction interleavings. Unfortunately, no tools for systematically …
triggered under certain instruction interleavings. Unfortunately, no tools for systematically …
Concurrency testing using schedule bounding: An empirical study
We present the first independent empirical study on schedule bounding techniques for
systematic concurrency testing (SCT). We have gathered 52 buggy concurrent software …
systematic concurrency testing (SCT). We have gathered 52 buggy concurrent software …