Han-Lin Lu

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 6

Top Topics

Test Generation

Symbolic Execution

Fault Localization

Monte Carlo Tree Search

Top Venues

J. Inf. Sci. Eng.

IEEE Trans. Reliab.

Publications