Symbolic Test Selection Based on Approximate Analysis
Abstract elided by the publisher.
Related papers
- Higher-order test generation PLDI 2011
- Steering symbolic execution to less traveled paths OOPSLA 2013
- Input responsiveness: using canary inputs to dynamically steer approximation PLDI 2016
- Contessa: Concurrency Testing Augmented with Symbolic Analysis CAV 2010
- Sound regular expression semantics for dynamic symbolic execution of JavaScript PLDI 2019
- FastFlip: Compositional SDC Resiliency Analysis CGO 2025
- Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation OOPSLA 2026
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables POPL 2015