Patents by Inventor Gabriel Pedro de Castro

Gabriel Pedro de Castro 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).

  • Publication number: 20220198003
    Abstract: Detecting whether or not an open source software package has functionality which is not described by the source code used to build the open source software package. To do so, in one embodiment, this is done by accessing source code used to build the open source software package. The open source software package is built from the source code. After the open source software package has been rebuilt, then it is computed whether or not the rebuilt package accomplishes the same functions as the open source software package. Finally, if the rebuilt package does not accomplish the same functions as the open source software package, an alert is raised.
    Type: Application
    Filed: December 22, 2020
    Publication date: June 23, 2022
    Inventors: Jason R. SHAVER, Gabriel Pedro DE CASTRO, Kesavan SHANMUGAM, Yuval MAZOR
  • Patent number: 9690689
    Abstract: A development system comprises a user interface component and a customization component configured to receive developer customization inputs and to customize a portion of a computing system based on the developer customization inputs. The portion comprises types modeled in the computing system. The development system also comprises a test generation component configured to identify a test value by accessing a test knowledge set based on the types, control the user interface component to generate a user interface display that displays an indication of the test value, and generate a test for the portion of the computing system.
    Type: Grant
    Filed: April 24, 2015
    Date of Patent: June 27, 2017
    Assignee: Microsoft Technology licensing, LLC
    Inventor: Gabriel Pedro de Castro
  • Publication number: 20160314062
    Abstract: A development system comprises a user interface component and a customization component configured to receive developer customization inputs and to customize a portion of a computing system based on the developer customization inputs. The portion comprises types modeled in the computing system. The development system also comprises a test generation component configured to identify a test value by accessing a test knowledge set based on the types, control the user interface component to generate a user interface display that displays an indication of the test value, and generate a test for the portion of the computing system.
    Type: Application
    Filed: April 24, 2015
    Publication date: October 27, 2016
    Inventor: Gabriel Pedro de Castro