Proceedings 12th IEEE International Conference Automated Software Engineering Journal