1. Key Laboratory of High Confidence Software Technologies of Ministry of Education , School of Computer Science, , Beijing , China
2. Peking University , School of Computer Science, , Beijing , China
3. International Computer Science Institute and Department of Statistics, University of California , Berkeley, Berkeley CA , USA
4. Department of Information Systems, City University of Hong Kong , Hong Kong , China