Demand-Driven Compositional Symbolic Execution
From MaRDI portal
Publication:5458338
Recommendations
Cited in
(9)- Symbolic computation via program transformation
- Sound and complete concolic testing for higher-order functions
- Compact symbolic execution
- Combining model checking and testing
- Backward symbolic execution with loop folding
- Demand-driven interprocedural analysis for map-based abstract domains
- Strategies for scalable symbolic execution-driven test generation for programs
- Maximizing branch coverage with constrained Horn clauses
- A slice-based decision procedure for type-based partial orders
This page was built for publication: Demand-Driven Compositional Symbolic Execution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458338)