"Falling Back on Executable Specifications."

Hesam Samimi, Ei Darli Aung, Todd D. Millstein (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics