Concurrency Testing Using Schedule Bounding: an Empirical Study ∗ Paul Thomson, Alastair F. Donaldson, Adam Betts Imperial College London {paul.thomson11,afd,abetts - Betts - Document - PDFSEARCH.IO

First Page	Meta Content
	Concurrency Testing Using Schedule Bounding: an Empirical Study ∗ Paul Thomson, Alastair F. Donaldson, Adam Betts Imperial College London {paul.thomson11,afd,abetts}@imperial.ac.uk Add to Reading List Document Date: 2013-12-16 04:59:59 Open Document File Size: 476,27 KB Share Result on Facebook

Concurrency Testing Using Schedule Bounding: an Empirical Study ∗ Paul Thomson, Alastair F. Donaldson, Adam Betts Imperial College London {paul.thomson11,afd,abetts}@imperial.ac.ukAdd to Reading List