Volvo Cars
•
2022-10-13
Lund, Lunds Kommun, Skåne Län, SE
Master Thesis - Evaluating Klee On A Production Codebase
Background KLEE is a symbolic execution engine. It analyzes a program, assumes symbolic values for and generates expressions for the detected symbols…