• Dynamic symbolic execution for...

Treffer: Dynamic symbolic execution for polymorphism

Title:
Dynamic symbolic execution for polymorphism
Authors:
Li, Lian, Lu, Yi, Xue, Jingling
Source:
Proceedings of the 26th International Conference on Compiler Construction. :120-130
Availability:
http://dl.acm.org/doi/10.1145/3033019.3033029
Database:
ACM Full-Text Collection