"Enhancing Symbolic Execution with Veritesting" by Avgerinos et al. proposes an effective technique called veritesting that addresses the scalability limitations of path merging in symbolic execution.
from Communications of the ACM: Latest Issue http://ift.tt/1TGCmW9
No comments:
Post a Comment