About the Authors

Xue Zhang

lindajia03@126.com

Affiliations Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing, China, School of Electronics Engineering and Computer Science, Peking University, Beijing, China

Jin Xu

Affiliations Key Laboratory of High Confidence Software Technologies, Ministry of Education, Peking University, Beijing, China, School of Electronics Engineering and Computer Science, Peking University, Beijing, China

Wang-xin Xiao

Affiliation Research Institute of Highway Ministry of Transport, Beijing, China

Competing Interests

The authors have declared that no competing interests exist.

Author Contributions

Participated in revising the draft: JX. Conceived and designed the experiments: XZ WXX. Performed the experiments: XZ WXX. Analyzed the data: XZ WXX. Contributed reagents/materials/analysis tools: XZ WXX. Wrote the paper: XZ.