Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization

@inproceedings{Braione2013EnhancingSE,
  title={Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization},
  author={Pietro Braione and Giovanni Denaro and Mauro Pezz{\`e}},
  booktitle={ESEC/SIGSOFT FSE},
  year={2013}
}
Symbolic execution suffers from problems when analyzing programs that handle complex data structures as their inputs and take decisions over non-linear expressions. For these programs, symbolic execution may incur invalid inputs or unidentified infeasible traces, and may raise large amounts of false alarms. Some symbolic executors tackle these problems by introducing executable preconditions to exclude invalid inputs, and some solvers exploit rewrite rules to address non linear problems. In… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 15 CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…