Supervisor of Doctorate Candidates
Supervisor of Master's Candidates
Title of Paper:Eliminating Path Redundancy via Postconditioned Symbolic Execution
Hits:
Journal:In IEEE Transactions on Software Engineering(TSE)
Translation or Not:no
Date of Publication:2017-09-07
Opening Time:..
The Last Update Time: ..