Sondag, Tyler, Pokorny, Kian and Rajan, Hridesh (2009) Frances: A Tool For Understanding Code Generation. Technical Report 09-21, Computer Science, Iowa State University.