Thanh Trong Vu

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 11

Top Topics

Bipartite Graph

Symbolic Execution

Automated Analysis

Top Venues

J. Syst. Softw.

Int. J. Softw. Eng. Knowl. Eng.

Publications