Dynamic partial order reduction (DPOR) algorithms are used in stateless model checking
(SMC) to combat the combinatorial explosion in the number of schedulings that need to be …

Stateless model checking is a fully automatic verification technique for concurrent programs
that checks for safety violations by exploring all possible thread schedulings. It becomes …

Event-driven multi-threaded programming is an important idiom for structuring concurrent
computations. Stateless Model Checking (SMC) is an effective verification technique for …

Event-driven multi-threaded programming is fast becoming a preferred style of developing
efficient and responsive applications. In this concurrency model, multiple threads execute …

GUIs are event-driven applications where the flow of the program is determined by user
actions such as mouse clicks and key presses. GUI testing is a challenging task not only …

In Petri net unfolding, according to the strategies of breadth first and depth first, the biggest
problem lies in the potential explosion of the state space. Unfolding generates either …

Ordering and replaying of execution traces of distributed systems is a challenging problem.
State-of-the-art approaches annotate the traces with logical or physical timestamps …

Stateless model checking is a fully automatic verification technique for concurrent programs.
which checks for safety violations by exploring all possible thread schedulings. It becomes …

An emerging style of programming is to use both threads and events to achieve better
scalability. The improved scalability comes at the price of increased complexity, as both …

Record-replay techniques are developed to facilitate debugging client-side JavaScript
application failures. They faithfully record all events that reveal a failure, but record many …