Veritesting Hybrid Symbolic Execution for Software Testing

The patent segments the symbolic execution process into two distinct modes: Dynamic Symbolic Execution (DSE) for initial exploration and Static Symbolic Execution (SSE) for systematic analysis. This segmentation allows each mode to handle specific aspects of test case generation, preventing the path explosion problem by switching to SSE when path complexity increases

The patent implements a dynamic switching mechanism between DSE and SSE modes based on runtime conditions. The system monitors execution state and automatically transitions between modes to optimize performance, making the testing system adaptable to different code structures and complexity levels

The patent merges the strengths of both DSE and SSE into a unified hybrid framework. The system combines DSE's ability to achieve high node coverage with SSE's ability to handle complex control flow and avoid solver blowup, creating a synergistic effect that exceeds the capabilities of either approach alone

The hybrid system serves multiple functions: it performs initial dynamic exploration for coverage, switches to static analysis for complex paths, and integrates both approaches to handle diverse software structures. This multi-functionality allows the system to adapt to different testing scenarios and code characteristics