Augmented dynamic symbolic execution

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan De Halleux

Details

Publication typeInproceedings
Published inProceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
URL10.1145/2351676.2351716
Pages254–257
SeriesASE 2012
ISBN978-1-4503-1204-2
AddressNew York, NY, USA
PublisherACM
> Publications > Augmented dynamic symbolic execution