Expression Reduction from Programs in a Symbolic Binary Executor
Authors:
- 1 January 2013
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 301-319
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Path-exploration liftingACM SIGPLAN Notices, 2012
- S2EACM SIGPLAN Notices, 2011
- A Decision Procedure for Bit-Vectors and Arrays2007
- Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005)Journal of Automated Reasoning, 2005
- The Maude 2.0 System2003
- Generalized Symbolic Execution for Model Checking and Testing2003
- Automatic generation of peephole optimizationsACM SIGPLAN Notices, 1984
- Simple Word Problems in Universal Algebras1983
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Some properties of conversionTransactions of the American Mathematical Society, 1936