Lazy counterfactual symbolic execution
- 8 June 2019
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
- p. 411-424
- https://doi.org/10.1145/3314221.3314618
Abstract
No abstract availableKeywords
Funding Information
- National Science Foundation (CCF-1553168, CCF-1302230, CCF-1422471, CCF-1223850, CCF-1218344, CCF-1763814)
This publication has 37 references indexed in Scilit:
- Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysisAutomated Software Engineering, 2013
- SAGECommunications of the ACM, 2012
- QuickCheckACM SIGPLAN Notices, 2011
- Static contract checking for HaskellACM SIGPLAN Notices, 2009
- EXEACM Transactions on Information and System Security, 2008
- Smallcheck and lazy smallcheckACM SIGPLAN Notices, 2008
- DARTACM SIGPLAN Notices, 2005
- Making a fast curryACM SIGPLAN Notices, 2004
- Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machineJournal of Functional Programming, 1992
- Symbolic execution and program testingCommunications of the ACM, 1976