Generative Fuzzing
Generative Fuzzing creates test inputs from scratch based on a model of the input format. Unlike mutation-based fuzzing, it does not rely on existing valid inputs.
This allows it to explore input spaces that are difficult to reach with mutations alone. In the context of smart contracts, it involves generating valid transaction sequences that conform to the contract's interface.
This is highly effective for testing the complex business logic of financial derivatives. By understanding the structure of the input, the fuzzer can generate more meaningful and complex test cases.
It is a sophisticated approach that requires more setup but offers deeper insights. It is a powerful tool for testing protocol compliance.
It enables exploration of the entire input domain.