Can I read Fitness-Guided Path Exploration in DSE on EtoBox?
Fitness-Guided Path Exploration in DSE by Weafon Tsao is a document available to read on EtoBox.
What is Fitness-Guided Path Exploration in DSE about?
The document presents a novel approach called Fitnex for fitness-guided path exploration in dynamic symbolic execution (DSE) to enhance code coverage in software testing. Fitnex utilizes state-dependent fitness values to prioritize path exploration, addressing the limitations of random testing and traditional search strategies. The approach has been implemented in Pex, an automated testing tool, and demonstrates improved efficiency in achieving high code coverage compared to existing methods.
- Author
- Weafon Tsao
- Language
- EN