Zhi Li

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 23

Top Topics

Elimination Algorithm

Embedded Devices

Symbolic Execution

Top Venues

IEEE Trans. Dependable Secur. Comput.

ACM Trans. Softw. Eng. Methodol.

Publications