DMCA

A generic framework for symbolic execution (2013)

by Andrei Arusoaie , Dorel Lucanu , Vlad Rusu , Andrei Arusoaie , Dorel Lucanu , Vlad Rusu , Inria Lille Nord Europe
Venue:In 6th International Conference on Software Language Engineering, volume 8225 of LNCS
Citations:9 - 6 self