Fuzzing Class Specifications. Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them.
In object-oriented design, class specifications are primarily used to express properties describing the intended behavior of the class methods and constraints ...
Jan 26, 2022 · A novel technique that combines grammar-based fuzzing, dynamic invariant detection, and mutation analysis, to automatically produce class specifications.
This section presents SpecFuzzer, a technique for specification inference that uses a combination of static analysis, grammar-based fuzzing, and mutation ...
Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and au-.
People also ask
What is the fuzz testing standard?
What are the fuzzer categories?
What are the two types of fuzzing?
What are 2 main strategies for security testing using fuzz testing?
SPECFUZZER [9] is a tool for generating likely class specifications, in a way that makes it easier to adapt to different specification expressions, through the ...
SPEcFuzZER is a tool that aims at alleviating the problem of writing class specifications by using a combination of grammar-based fuzzing, dynamic invariant ...
The inferred specifications can be used as an oracle [4] that distinguishes correct/intended program behaviour from incorrect/unintended program behaviour. In ...
In this tool demo we present the details of SpecFuzzer, a tool that aims at alleviating the problem of writing class specifications by using a combination of ...
SpecFuzzer is a tool for inferring class specifications of Java classes. Given a Java class and a test suite for it, SpecFuzzer uses a combination of ...