Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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