Automated test generation on path-based symbolic execution

  title={Automated test generation on path-based symbolic execution},
  author={Zhang Min and Fu Min},
  journal={2014 IEEE 5th International Conference on Software Engineering and Service Science},
  • Zhang Min, Fu Min
  • Published 2014 in
    2014 IEEE 5th International Conference on…
This paper describes the path-based symbolic execution of programs in order to solve the “path-storm” problem in traditional symbolic execution. Instead of using execution tree, execution digraph is used, and the program execution is simplified by clustering the execution of loops, and decrease the paths generated from the execution of loops by classifying… CONTINUE READING