HUAYAN999

Hello, I want to explore the testing efficiency of SymQEMU for some embedded software to a certain extent, how can I study the path coverage of SymQEMU? Tools like AFL-COVID...

Is specifying an input mandatory for SymQEMU to perform symbolic execution and generate test cases?

12

We are attempting to perform symbolic execution testing on ArduPilot using SymQEMU, but SymQEMU fails to generate corresponding test cases during the program's runtime. The program utilizes command-line options as...