Xiao-li Ji

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 0

Top Topics

Autonomous Robots

Real Environment

Symbolic Execution

Static Analysis

Top Venues

IEEE Trans. Reliab.

J. Softw. Evol. Process.

Publications

Ting Chen, Xiaosong Zhang, Xiao-li Ji, Cong Zhu, Yang Bai, Yue Wu
Test Generation for Embedded Executables via Concolic Execution in a Real Environment. IEEE Trans. Reliab. 64 (1) (2015)
Ting Chen, Xiaosong Zhang, Cong Zhu, Xiao-li Ji, Shi-ze Guo, Yue Wu
Design and implementation of a dynamic symbolic execution tool for windows executables. J. Softw. Evol. Process. 25 (12) (2013)