A system and method includes steps or acts of receiving and examining a computer program
written in an object-oriented language; receiving sequences of accesses that form logical …

(57) ABSTRACT A transactional memory implementation is tested using an automatically
generated test program and a locking memory model implementation which defines …

Recording and replaying computer programs includes detecting whether a race condition
exists among multiple threads of a multithreaded application program. In an embodiment …

Provided are a system and method for precisely reproducing a device program execution,
such as reproducing a software program executed on a computer for example. The method …

Testing multithreaded application programs for errors can be carried out in an efficient and
productive manner at least in part by prioritizing thread schedules based on numbers of …

The claimed subject matter provides a method for detecting a data race. The method
includes inserting a plurality of break points into a corresponding plurality of program …

BACKGROUND Many modern operating systems Support the use of mul tithreaded
programs, which consist of one or more threads of control that share a common address …

Provided are a method, system, and article of manufacture for providing a process exclusive
access to a page including a memory address to which a lock is granted to the process. A …

US7739664B2 - Collection and detection of differences of values of expressions/variables
when debugging a computer process - Google Patents US7739664B2 - Collection and …

A concurrent program is analyzed for the presence of data races by the creation of a
sequential program from the concurrent program. The sequential program contains …