Jifeng He

Publication Activity (10 Years)

Years Active: 1983-2021
Publications (10 Years): 19

Top Topics

Symbolic Execution

Modelling Language

Test Data Generation

Top Venues

Frontiers Comput. Sci.

Publications