Preemption Sealing for Efficient Concurrency Testing.

Thomas Ball Sebastian Burckhardt Katherine E. Coons Madanlal Musuvathi Shaz Qadeer

Published in: TACAS (2010)

Keyphrases

cost effective
computationally expensive
data structure
data sets
similarity measure
data flow