2014 Theoretical Aspects of Software Engineering Conference