Practical systematic concurrency testing for concurrent and distributed software

Paul Thomson. Practical systematic concurrency testing for concurrent and distributed software. PhD thesis, Imperial College London, UK, 2016. [doi]

Abstract

Abstract is missing.