Titlebook: Hardware and Software, Verification and Testing; First International Shmuel Ur,Eyal Bin,Yaron Wolfsthal Conference proceedings 2006 Spring

agonist

Choosing Among Alternative Futures, which can hide the presence of errors. Existing techniques use a variety of mechanisms that attempt to increase the probability of uncovering error conditions by altering the execution sequence of a concurrent program, but do not test for specific errors. This paper presents some preliminary work