Systems and Methods for Automatic Test Generation
AssigneeDiffblue Ltd
InventorsPeter Schrammel, Daniel Kroening
Life of this patent
Estimating the term…
Loading patent…
AssigneeDiffblue Ltd
InventorsPeter Schrammel, Daniel Kroening
Estimating the term…
A computer-implemented method comprising obtaining a first candidate test associated with a testable component, wherein the first candidate test comprises an input having an input value; generating a second candidate test associated with the testable component by performing a dynamic mutation-based fuzzing of the first candidate test, wherein the second candidate test is based on the first candidate test and comprises a modified input value for the input based on data generated during an execution of the first candidate test or domain knowledge associated with the testable component; and creating a test for the testable component based on the first candidate test or the second candidate test.
A computer-implemented method comprising:
A computer-implemented method comprising:
A system comprising:
Dependencies are inferred from the claim text.