Algorithmic techniques for predictive testing of concurrent programs and distributed systems

Francesco Sorrentino 0002. Algorithmic techniques for predictive testing of concurrent programs and distributed systems. PhD thesis, University of Illinois Urbana-Champaign, USA, 2014. [doi]

Abstract

Abstract is missing.