易秋萍   

Supervisor of Doctorate Candidates
Supervisor of Master's Candidates

MORE>
Language： 中文

Paper Publications

Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding

Hits:

Journal:Programming Language Design and Implementation

Indexed by:Article

Document Type:C

Translation or Not:no

Date of Publication:2024-06-25

Attachments:


Copyright Convention Beijing Post and Telecommunications University Address: 1000876 Beijing ICP, 05064445 Beijing Public Website 1104 02430070
Click：    MOBILE Version login BUPT

Opening Time:..

The Last Update Time: ..