Static concurrency analysis detects anomalous synchronization patterns in concurrent
programs, but may also report spurious errors involving infeasible execution paths …

Much of what we know about testing technology does indeed apply to object-oriented
systems. However, object-orientation brings with it, its own specialized set of concerns …

Each process in a distributed program or design can be modelled as a process flow graph,
where nodes represent program statements and directed edges represent control flows. This …

A static analysis method is introduced for detecting synchronization errors. This method is to
derive constraints on the feasible synchronization sequences of a concurrent program (or …

Automated behaviour analysis is an essential technique for developing and maintaining
concurrent systems. This thesis proposes the use of two complementary techniques: a …

The art of computer programming has flourished over the last forty years. The industry has
progressed from machine language through object oriented automatic code generation …