33. CELINA-GOMES-DO VAL
Information acquired: 2025
CELINA-GOMES-DO VAL is an academic who published a paper in 2014 entitled Conflict-driven symbolic execution : how to learn to get better. CELINA-GOMES-DO VAL published this work as part of a team: Val, Celina Gomes Do. Here is a description of this work: Due to software complexity, manual and automatic testing are not enough to guarantee the correct behavior of software. One alternative to this limitation is known as Symbolic Execution. Symbolic Execution is a formal verification method that simulates software execution using symbolic values instead of concrete ones. The execution starts with all input variables unconstrained, and assignments that use any input variable are encoded as logical expressions. Whenever a branch is reached, the symbolic execution engine checks which values the branch condition can assume. If more than one valid evaluation is possible, the execution forks, and a new process is created for each possibility. In cases where the program execution is finite, symbolic execution is complete, and potentially executes every reachable program path. However, the number of paths is exponentia.