Fitness-guided path exploration in dynamic symbolic execution

  title={Fitness-guided path exploration in dynamic symbolic execution},
  author={Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
  journal={2009 IEEE/IFIP International Conference on Dependable Systems & Networks},
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under test by running the program with different test inputs to improve code coverage. To address the space-explosion issue in path exploration, we propose a novel approach called Fitnex, a search strategy that uses state-dependent fitness values (computed through a fitness function) to guide path exploration. The fitness function measures how close an already discovered… CONTINUE READING
Highly Cited
This paper has 208 citations. REVIEW CITATIONS
134 Citations
18 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 134 extracted citations

208 Citations

Citations per Year
Semantic Scholar estimates that this publication has 208 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…