Fuzzing in symbolic analyzing

[SBOne-Kenobi]

Description

Sometimes in the beginning of symbolic analyze SMT Solver initialize with bad parameters' values that may increase time of analyzing and then generating tests. The main idea is using fuzzer as seed for SMT Solver initializing.

Expected behavior

We can significantly decrease time of symbolic analyzing.

Environment

You can execute test generation for a complex example. Stop the generation in several seconds after the start.

Potential alternatives

We can use Assumptions to integrate fuzzing and symbolic analyzing by executing concretely.

[SBOne-Kenobi]

Progress: implemented, on testing.