Eliminating Path Redundancy via Postconditioned Symbolic Execution
Hits:
Journal:In IEEE Transactions on Software Engineering(TSE)
Indexed by:Essay collection
Translation or Not:no
Date of Publication:2017-09-07
Opening Time:..
The Last Update Time: ..