Enhancing symbolic execution with veritesting

Full Text: PDFPDF Get this ArticleGet this Article
Authors: Thanassis Avgerinos Carnegie Mellon University, USA
Alexandre Rebert Carnegie Mellon University, USA
Sang Kil Cha Carnegie Mellon University, USA
David Brumley Carnegie Mellon University, USA
Enhancing symbolic execution with veritesting Published by ACM 2014 Article
Bibliometrics Data  Bibliometrics
· Citation Count: 20
· Downloads (cumulative): 638
· Downloads (12 Months): 216
· Downloads (6 Weeks): 19

Published in:
· Proceeding
ICSE 2014 Proceedings of the 36th International Conference on Software Engineering
Pages 1083-1094

Hyderabad, India — May 31 - June 07, 2014
ACM New York, NY, USA ©2014
table of contents ISBN: 978-1-4503-2756-5 doi>10.1145/2568225.2568293

Tools and Resources

Share:

|
Author Tags Expand Author Tags
Contact The DL Team Contact Us | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2017 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us
Did you know the ACM DL App is now available?
Did you know your Organization can subscribe to the ACM Digital Library?
The ACM Guide to Computing Literature
All Tags
Export Formats
 
 
Save to Binder