Patents by Inventor Francisco M. Anaya

Francisco M. Anaya 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).

  • Patent number: 11294803
    Abstract: A test suite is executed to test a computer program for a plurality of variables. A variable value is generated for each variable of the plurality of variables at a predetermined location of the computer program. Whether a test included in the test suite is successful is determined. If the test is successful, the variable value is recorded as part of a success value set. If the test is not successful, the variable value is recorded as part of a failure value set. A confidence metric is calculated for the variable value. A relevance metric for each variable of the plurality of variables is measured, based on a Jaccard distance between the success value set and the failure value set. The failure value set, the success value set, the confidence metric for the variable value, and the relevance metric for each variable of the plurality of variables are presented.
    Type: Grant
    Filed: August 7, 2017
    Date of Patent: April 5, 2022
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Francisco M. Anaya, Tom C. L. Chen, Michael S. Fulton, Trong Truong
  • Patent number: 11294802
    Abstract: A test suite is executed to test a computer program for a plurality of variables. A variable value is generated for each variable of the plurality of variables at a predetermined location of the computer program. Whether a test included in the test suite is successful is determined. If the test is successful, the variable value is recorded as part of a success value set. If the test is not successful, the variable value is recorded as part of a failure value set. A confidence metric is calculated for the variable value. A relevance metric for each variable of the plurality of variables is measured, based on a Jaccard distance between the success value set and the failure value set. The failure value set, the success value set, the confidence metric for the variable value, and the relevance metric for each variable of the plurality of variables are presented.
    Type: Grant
    Filed: November 8, 2016
    Date of Patent: April 5, 2022
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Francisco M. Anaya, Tom C. L. Chen, Michael S. Fulton, Trong Truong
  • Patent number: 10713145
    Abstract: A computer-implemented method includes generating static analysis data by performing static analysis on a program. A breakpoint is set in the program automatically, by a computer processor, based on the static analysis data. The breakpoint is hit during a runtime of the program. A program bug is automatically identified at a context location of the breakpoint when the breakpoint is hit during the runtime of the program. An interactive debugging session of the program is launched automatically at the context location of the breakpoint, based on the identifying the program bug.
    Type: Grant
    Filed: January 5, 2018
    Date of Patent: July 14, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Francisco M. Anaya, John Michael Chase, Yingcong Guan, Roger H.E. Pett, Trong Truong, Jian Xu
  • Patent number: 10379997
    Abstract: According to one or more embodiments a computer-implemented method includes detecting, by a processor, an instruction to capture runtime data of a set of instructions in a computer program, the instruction detected based on a hook associated with the set of instructions. The method further includes determining whether the hook is an active expiring hook. The method further includes in response to the hook being an active expiring hook, determining a time condition associated with the expiring hook. The method further includes in response to the time condition being met, capturing the runtime data of the set of instructions in the computer program.
    Type: Grant
    Filed: September 19, 2017
    Date of Patent: August 13, 2019
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Francisco M. Anaya, Seana Hogan, Trong Truong
  • Patent number: 10379998
    Abstract: According to one or more embodiments a computer-implemented method includes detecting, by a processor, an instruction to capture runtime data of a set of instructions in a computer program, the instruction detected based on a hook associated with the set of instructions. The method further includes determining whether the hook is an active expiring hook. The method further includes in response to the hook being an active expiring hook, determining a time condition associated with the expiring hook. The method further includes in response to the time condition being met, capturing the runtime data of the set of instructions in the computer program.
    Type: Grant
    Filed: November 6, 2017
    Date of Patent: August 13, 2019
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Francisco M. Anaya, Seana Hogan, Trong Truong
  • Publication number: 20190213107
    Abstract: A computer-implemented method includes generating static analysis data by performing static analysis on a program. A breakpoint is set in the program automatically, by a computer processor, based on the static analysis data. The breakpoint is hit during a runtime of the program. A program bug is automatically identified at a context location of the breakpoint when the breakpoint is hit during the runtime of the program. An interactive debugging session of the program is launched automatically at the context location of the breakpoint, based on the identifying the program bug.
    Type: Application
    Filed: January 5, 2018
    Publication date: July 11, 2019
    Inventors: Francisco M. Anaya, John Michael Chase, Yingcong Guan, Roger H.E. Pett, Trong Truong, Jian Xu
  • Publication number: 20190087308
    Abstract: According to one or more embodiments a computer-implemented method includes detecting, by a processor, an instruction to capture runtime data of a set of instructions in a computer program, the instruction detected based on a hook associated with the set of instructions. The method further includes determining whether the hook is an active expiring hook. The method further includes in response to the hook being an active expiring hook, determining a time condition associated with the expiring hook. The method further includes in response to the time condition being met, capturing the runtime data of the set of instructions in the computer program.
    Type: Application
    Filed: September 19, 2017
    Publication date: March 21, 2019
    Inventors: Francisco M. Anaya, Seana Hogan, Trong Truong
  • Publication number: 20190087309
    Abstract: According to one or more embodiments a computer-implemented method includes detecting, by a processor, an instruction to capture runtime data of a set of instructions in a computer program, the instruction detected based on a hook associated with the set of instructions. The method further includes determining whether the hook is an active expiring hook. The method further includes in response to the hook being an active expiring hook, determining a time condition associated with the expiring hook. The method further includes in response to the time condition being met, capturing the runtime data of the set of instructions in the computer program.
    Type: Application
    Filed: November 6, 2017
    Publication date: March 21, 2019
    Inventors: Francisco M. Anaya, Seana Hogan, Trong Truong
  • Publication number: 20180173455
    Abstract: Embodiments include a technique for operating a storage profiler for a computer operating system. The technique includes analyzing statements of an application to identify instructions that are associated with obtaining storage and statements that alter storage values in the obtained storage upon entry to every compile unit in the application, and overlaying storage statement hooks on the identified instructions and the identified statements. The technique also includes responsive to overlaying the storage statement hooks, updating a storage data structure based on the storage statement hooks, displaying the storage usage data as a grid map based on the storage data structure, the grid map comprising blocks associated with a storage location for system memory, and selecting a data block of the grid map for the storage usage data.
    Type: Application
    Filed: December 16, 2016
    Publication date: June 21, 2018
    Inventors: FRANCISCO M. ANAYA, RANDALL T. CAMPBELL, SEANA K. HOGAN, TRONG TRUONG
  • Publication number: 20180129597
    Abstract: A test suite is executed to test a computer program for a plurality of variables. A variable value is generated for each variable of the plurality of variables at a predetermined location of the computer program. Whether a test included in the test suite is successful is determined. If the test is successful, the variable value is recorded as part of a success value set. If the test is not successful, the variable value is recorded as part of a failure value set. A confidence metric is calculated for the variable value. A relevance metric for each variable of the plurality of variables is measured, based on a Jaccard distance between the success value set and the failure value set. The failure value set, the success value set, the confidence metric for the variable value, and the relevance metric for each variable of the plurality of variables are presented.
    Type: Application
    Filed: August 7, 2017
    Publication date: May 10, 2018
    Inventors: Francisco M. Anaya, Tom C.L. Chen, Michael S. Fulton, Trong Truong
  • Publication number: 20180129596
    Abstract: A test suite is executed to test a computer program for a plurality of variables. A variable value is generated for each variable of the plurality of variables at a predetermined location of the computer program. Whether a test included in the test suite is successful is determined. If the test is successful, the variable value is recorded as part of a success value set. If the test is not successful, the variable value is recorded as part of a failure value set. A confidence metric is calculated for the variable value. A relevance metric for each variable of the plurality of variables is measured, based on a Jaccard distance between the success value set and the failure value set. The failure value set, the success value set, the confidence metric for the variable value, and the relevance metric for each variable of the plurality of variables are presented.
    Type: Application
    Filed: November 8, 2016
    Publication date: May 10, 2018
    Inventors: Francisco M. Anaya, Tom C.L. Chen, Michael S. Fulton, Trong Truong