Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings - Chin, Wei-Ngan (Lecture Notes in Computer Science, 2010)