易秋萍   

Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates

MORE>
Language： 中文

Paper Publications

Summary-guided incremental symbolic execution

Hits:

Journal:IEEE/ACM International Conference on Software Engineering (ICSE)(Companion Volume)

Indexed by:Conference Paper

Discipline:Philosophy

First-Level Discipline:Philosophy

Translation or Not:no

Date of Publication:2020-04-03

Copyright © Beijing University of Posts and Telecommunications | Address: 1000876  |  京ICP备05064445号  |  京公网安备110402430070
Click：    MOBILE Version login BUPT

Opening Time:..

The Last Update Time: ..