2014 Theoretical Aspects of Software Engineering Conference (TASE) Conference