Search Based Software Engineering: 4Th International Symposium, Ssbse 2012, Riva Del Garda, Italy, September 28 30, 2012. Proceedings