Dynamic validation of contracts in concurrent code

Jan Fiedor, Zdeněk Letko, João Lourenço, Tomáš Vojnar
Posted Jan 1, 2015
Link