Error
http://delivery.acm.org/10.1145/3340000/3338112/p62-distefano.pdf?__acm__=1564385506_a2c9b27f3f620bee5de13052849f911c&acc=OA&id=3338112&ip=185.6.78.109&key=4D4702B0C3E38B35.4D4702B0C3E38B35.4D4702B0C3E38B35.FFA399A0D8A6532A
about 7 years ago
Public list by cvrac
Papers
A Survey of Symbolic Execution Techniques
https://arxiv.org/pdf/1610.00502.pdf
about 7 years ago