Add to ORKGThis article is devoted to method of search for bugs in multithreaded applications based on the symbolic execution algorithm. This method can deterministically find race of the conditions and dead locks in multithreaded applications providing thread schedule and values of input data needed for reproducing a bug
We present a symbolic-execution-based algorithm that for a given program and a given program locatio...
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explo...
Thesis (Ph.D.)--University of Washington, 2014This dissertation makes two high-level contributions: ...
Abstract. Message Passing Interfaces (MPI) plays an important role in parallel computing. Many paral...
Abstract. This paper presents a dynamic program analysis algorithm that can detect deadlock potentia...
We describe an algorithm to perform symbolic execution of a multithreaded program starting from an a...
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a mu...
Many security and software testing applications require checking whether certain properties of a pro...
Abstract—We present Magiclock, a novel potential deadlock detection technique by analyzing execution...
A multithreaded program with a bug may behave nondeterministically, and this nondeterminism typicall...
Previous approaches to systematic state-space exploration for test-ing multi-threaded programs have ...
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explo...
Testing concurrent programs that accept data inputs is no-toriously hard because, besides the large ...
Developing correct, scalable and efficient concurrent programs is a complex and difficult task, due ...
Abstract. Writing multithreaded software for multicore computers con-fronts many developers with the...
We present a symbolic-execution-based algorithm that for a given program and a given program locatio...
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explo...
Thesis (Ph.D.)--University of Washington, 2014This dissertation makes two high-level contributions: ...
Abstract. Message Passing Interfaces (MPI) plays an important role in parallel computing. Many paral...
Abstract. This paper presents a dynamic program analysis algorithm that can detect deadlock potentia...
We describe an algorithm to perform symbolic execution of a multithreaded program starting from an a...
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a mu...
Many security and software testing applications require checking whether certain properties of a pro...
Abstract—We present Magiclock, a novel potential deadlock detection technique by analyzing execution...
A multithreaded program with a bug may behave nondeterministically, and this nondeterminism typicall...
Previous approaches to systematic state-space exploration for test-ing multi-threaded programs have ...
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explo...
Testing concurrent programs that accept data inputs is no-toriously hard because, besides the large ...
Developing correct, scalable and efficient concurrent programs is a complex and difficult task, due ...
Abstract. Writing multithreaded software for multicore computers con-fronts many developers with the...
We present a symbolic-execution-based algorithm that for a given program and a given program locatio...
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explo...
Thesis (Ph.D.)--University of Washington, 2014This dissertation makes two high-level contributions: ...