1. School of Information Engineering Yangzhou University Yangzhou China
2. State Key Laboratory for Novel Software Technology Nanjing University Nanjing China
3. Key Laboratory of Safety‐Critical Software Ministry of Industry and Information Technology Nanjing University of Aeronautics and Astronautics Nanjing China
4. Faculty of Information Technology Monash University Melbourne Australia