Green
Authors:
Open Access
- 11 November 2012
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 1-11
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Memoized symbolic execution2012
- SAGECommunications of the ACM, 2012
- A few billion lines of code laterCommunications of the ACM, 2010
- EXEACM Transactions on Information and System Security, 2008
- CVC32007
- Test input generation for java containers using state matching2006
- Justifying EqualityElectronic Notes in Theoretical Computer Science, 2005
- The ICS Decision Procedures for Embedded Deduction2004
- Constraint-based automatic test data generationIEEE Transactions on Software Engineering, 1991
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979