S2E
Open Access
- 5 March 2011
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 46 (3), 265-278
- https://doi.org/10.1145/1961296.1950396
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- A few billion lines of code laterCommunications of the ACM, 2010
- The Static Driver Verifier Research PlatformLecture Notes in Computer Science, 2010
- BitBlaze: A New Approach to Computer Security via Binary AnalysisLecture Notes in Computer Science, 2008
- Concolic testingPublished by Association for Computing Machinery (ACM) ,2007
- PinOSPublished by Association for Computing Machinery (ACM) ,2007
- CUTEPublished by Association for Computing Machinery (ACM) ,2005
- Context-sensitive program analysis as database queriesPublished by Association for Computing Machinery (ACM) ,2005
- PinPublished by Association for Computing Machinery (ACM) ,2005
- EraserACM Transactions on Computer Systems, 1997
- Symbolic execution and program testingCommunications of the ACM, 1976