Post conditioned symbolic execution
Hits:
Journal:IEEE International Conference on Software Testing, Verification and Validation (ICST)
Indexed by:Essay collection
Discipline:Engineering
First-Level Discipline:Computer science and technology *
Translation or Not:no
Date of Publication:2015-11-27
Opening Time:..
The Last Update Time: ..
