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