Testing races in parallel programs with an OtOt strategy

Abstract
No abstract available