An effective way to maximize code coverage in software tests is through dynamic symbolic
execution-a technique that uses constraint solving to systematically explore a program's …

Rust is an emerging programming language that aims to prevent memory-safety bugs.
However, the current design of Rust also brings side effects, which may increase the risk of …

As big data analytics become increasingly popular, data-intensive scalable computing
(DISC) systems help address the scalability issue of handling large data. However …

Although existing techniques have proposed automated approaches to alleviate the path
explosion problem of symbolic execution, users still need to optimize symbolic execution by …

Automatic testing has garnered significant attention and success over the past few decades.
Techniques such as unit testing and coverage-guided fuzzing have revealed numerous …

Symbolic execution has become a popular technique for software testing and vulnerability
detection. Most implementations transform the program under analysis to some intermediate …

Smart contract and DApp users are taking great risks, as they do not obtain necessary
knowledge that can help them avoid using vulnera-ble and malicious contract code. In this …

Many symptoms of poor performance in big data analytics such as computational skews,
data skews, and memory skews are input dependent. However, due to the lack of inputs that …

Symbolic execution is an essential approach for automated test case generation. However,
the approach is generally not scalable to large programs. One critical reason is that the …

Blockchain being a distributed ledger preserves data in a highly secured environment which
cannot be modified even by the user who created the data. This security aspect makes the …