Augmented dynamic symbolic execution

jamrozik-ase-2012.pdf
PDF file

In  Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering

Publisher  ACM

Details

TypeInproceedings
URL10.1145/2351676.2351716
Pages254–257
SeriesASE 2012
ISBN978-1-4503-1204-2
AddressNew York, NY, USA
> Publications > Augmented dynamic symbolic execution