Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi. A Survey of Symbolic Execution Techniques. ACM Computing Surveys, 51(3), 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.