The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately,
writing correct concurrent programs is difficult. Addressing this challenge requires advances …

Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent
programs are prone to bugs. Among different types of concurrency bugs, atomicity violation …

Testing multithreaded programs is a hard problem, because it is challenging to expose
those rare interleavings that can trigger a concurrency bug. We propose a new thread …

Web applications are vital components of the global information infrastructure, and it is
important to ensure their dependability. Many techniques and tools for validating Web …

We describe ConTest, a tool for detecting synchronization faults in multithreaded Java™
programs. The program under test is seeded with a sleep (), yield (), or priority () primitive at …

Although structural testing techniques are among the weakest available with regard to
develo** confidence in sequential programs, they are not without merit. This paper …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

The rapid progress of modern computing systems has led to a growing interest in informative
run-time logs. Various log-based anomaly detection techniques have been proposed to …

Concurrent programs are replacing the sequential programs as they utilize the true
capabilities of multicore architecture. The extensive use of multicore systems and …

One approach to testing concurrent programs, called reachability testing, generates
synchronization sequences automatically and on-the-fly, without constructing any static …