Asynchronous assertions (2011)

by Edward E Aftandilian, Samuel Z Guyer, Martin Vechev, Eran Yahav
Venue:In Proc. of the 26th ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications