Author image not provided
 Peter M Pawlowski

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article167.00
Citation Count334
Publication count2
Publication years2006-2008
Available for download2
Average downloads per article1,350.50
Downloads (cumulative)2,701
Downloads (12 Months)297
Downloads (6 Weeks)22
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


2 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 2 of 2
Sort by:

1 published by ACM
December 2008 ACM Transactions on Information and System Security (TISSEC): Volume 12 Issue 2, December 2008
Publisher: ACM
Bibliometrics:
Citation Count: 55
Downloads (6 Weeks): 11,   Downloads (12 Months): 99,   Downloads (Overall): 1,404

Full text available: PDFPDF
This article presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbolic input initially allowed to be anything. As checked code runs, EXE tracks the constraints on each symbolic (i.e., input-derived) ...
Keywords: bug finding, constraint solving, attack generation, dynamic analysis, symbolic execution, test case generation

2 published by ACM
October 2006 CCS '06: Proceedings of the 13th ACM conference on Computer and communications security
Publisher: ACM
Bibliometrics:
Citation Count: 279
Downloads (6 Weeks): 11,   Downloads (12 Months): 198,   Downloads (Overall): 1,297

Full text available: PDFPDF
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbolic input initially allowed to be "anything." As checked code runs, EXE tracks the constraints on each symbolic (i.e., input-derived) ...
Keywords: constraint solving, attack generation, dynamic analysis, symbolic execution, test case generation, bug finding



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us