Falling Back on Executable Specifications. - Hesam Samimi; Ei Darli Aung; Todd D. Millstein (ECOOP, 2010)