Sciweavers

Share
DSN
2009
IEEE

Fitness-guided path exploration in dynamic symbolic execution

9 years 4 months ago
Fitness-guided path exploration in dynamic symbolic execution
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 spaceexplosion issue in path exploration, we propose a novel approach called Fitnex, a search strategy that uses statedependent fitness values (computed through a fitness function) to guide path exploration. The fitness function measures how close an already discovered feasible path is to a particular test target (e.g., covering a not-yet-covered branch). Our new fitness-guided search strategy is integrated with other strategies that are effective for exploration problems where the fitness heuristic fails. We implemented the new approach in Pex, an automated structural testing tool developed at Microsoft Research. We evaluated our new approach by comparing it with existing search strategies. The empirical results show that our approach is effective since it cons...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DSN
Authors Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Comments (0)
books