Reproducibility is crucial to the advancement of science; it strengthens confidence in
seemingly contradictory results and expands the boundaries of known discoveries …

Deep learning (DL) applications are prevalent nowadays as they can help with multiple
tasks. DL libraries are essential for building DL applications. Furthermore, DL operators are …

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

Deep learning (DL) has emerged as a viable means for identifying software bugs and
vulnerabilities. The success of DL relies on having a suitable representation of the problem …

SMT solvers are often used in the back end of different software engineering tools─ eg,
program verifiers, test generators, or program synthesizers. There are a plethora of …

The existence of infeasible paths in a program reduces the coverage of test cases and
causes a waste of valuable testing resources. Detecting infeasible paths allows for focusing …

Heap-based vulnerabilities such as buffer overflow and use after free are severe flaws in
various software systems. Detecting heap-based vulnerabilities and demonstrating their …

Symbolic execution is a powerful technique for bug finding by generating test inputs to
systematically explore all feasible paths within a given threshold. However, its practical …

Industrial Control System (ICS) protocols have built a tight coupling between ICS
components, including industrial software and field controllers such as Programmable Logic …

Memory allocation is a fundamental operation for managing memory objects in many
programming languages. Misusing allocated memory objects (eg, buffer overflow and use …