Random testing (RT) is a well-studied testing method that has been widely applied to the
testing of many applications, including embedded software systems, SQL database systems …

For the path coverage testing of a Message-Passing Interface (MPI) program, test data
generation based on an evolutionary optimization algorithm (EOA) has been widely known …

Context: As one of key tasks in software testing, test data generation has been receiving
widespread attention in recent years. Message-passing Interface (MPI) programs, which are …

Linearizability is an important correctness criterion for concurrent objects, and there have
been several existing tools for checking linearizability. However, due to the inherent …

Context Testing concurrent data structures remains a notoriously challenging task, due to
the nondeterminism of multi-threaded tests and the exponential explosion on the number of …

Constraint solving has been applied to many domains of program analysis and is further
used in concurrent program analysis. Concurrent programs have been widely used with the …

Generating test cases automatically for thread-safe classes is an effective approach to
validating their correctness. However, the existing concurrent test generation techniques …

Linearizability is an important correctness criterion for concurrent objects, and there have
been several existing tools for checking linearizability. However, due to the inherent …