Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
Title of Paper:Summary-guided incremental symbolic execution
Hits:
Journal:IEEE/ACM International Conference on Software Engineering (ICSE)(Companion Volume)
Discipline:Philosophy
First-Level Discipline:Philosophy
Translation or Not:no
Date of Publication:2020-04-03
Opening Time:..
The Last Update Time: ..