International Symposium on Theoretical Aspects of Software Engineering (IEEE Computer Society)