Patents by Inventor Yishai Fieldman

Yishai Fieldman 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).

  • Fine slicing: generating an executable bounded slice for program
    Patent number: 8612954
    Abstract: A method for generating a fine slice for a program is provided. The method comprises receiving a set of slicing criteria, wherein the set of slicing criteria comprises one or more variable occurrences or control dependences; receiving a set of cut points, wherein the set of cut points comprises one or more variable occurrences or control dependences; and generating a slice according to the set of slicing criteria and the set of cut points. The generated slice includes statements related to computation of values for the set of slicing criteria and excludes statements related to computation of values for the set of cut points. Missing information is added to the slice so that the slice is executable.
    Type: Grant
    Filed: August 17, 2009
    Date of Patent: December 17, 2013
    Inventors: Aharon Abadi, Ran Ettinger, Yishai Fieldman, Jonathan Bnayahu