DMCA

Efficient state merging in symbolic execution (2012)

by Volodymyr Kuznetsov , Johannes Kinder , Stefan Bucur , George Candea
Venue:In Proceedings of the ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation (PLDI ’12
Citations:35 - 2 self