Patents by Inventor Peter Schrammel

Peter Schrammel has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Idiomatic source code generation
    Patent number: 11650802
    Abstract: A computer-implemented method comprising obtaining a first part or representation of a code section as a code part, said code part comprising a first code characteristic, analyzing the code part to identify context information related to the code section, obtaining a first idiomatic modifier based on the first code characteristic and the context information, wherein the first idiomatic modifier in use transforms a first code statement of the code part such that the transformed first code statement corresponds to an idiomatic representation of the first code statement, and generating a modified code part by applying the first idiomatic modifier to the code part.
    Type: Grant
    Filed: December 22, 2020
    Date of Patent: May 16, 2023
    Assignee: DIFFBLUE LTD
    Inventor: Peter Schrammel
  • Systems and methods for automatic test generation
    Patent number: 11442845
    Abstract: 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.
    Type: Grant
    Filed: December 7, 2020
    Date of Patent: September 13, 2022
    Assignee: DIFFBLUE LTD
    Inventors: Peter Schrammel, Daniel Kroening
  • Idiomatic Source Code Generation
    Publication number: 20220197617
    Abstract: A computer-implemented method comprising obtaining a first part or representation of a code section as a code part, said code part comprising a first code characteristic, analyzing the code part to identify context information related to the code section, obtaining a first idiomatic modifier based on the first code characteristic and the context information, wherein the first idiomatic modifier in use transforms a first code statement of the code part such that the transformed first code statement corresponds to an idiomatic representation of the first code statement, and generating a modified code part by applying the first idiomatic modifier to the code part.
    Type: Application
    Filed: December 22, 2020
    Publication date: June 23, 2022
    Inventor: Peter Schrammel
  • Systems and Methods for Automatic Test Generation
    Publication number: 20220179776
    Abstract: 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.
    Type: Application
    Filed: December 7, 2020
    Publication date: June 9, 2022
    Inventors: Peter Schrammel, Daniel Kroening