Login / Signup
Jifeng He
Publication Activity (10 Years)
Years Active: 1983-2021
Publications (10 Years): 19
Top Topics
Symbolic Execution
Modelling Language
Test Data Generation
Model Checking
Top Venues
CoRR
Frontiers Comput. Sci.
ICECCS
UTP
</>
Publications
</>