Patents by Inventor Hee Beng Kuan Tan

Hee Beng Kuan Tan 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).

  • METHOD AND SYSTEM FOR DETECTING INFEASIBLE PATHS
    Publication number: 20100313187
    Abstract: A method of testing a software program comprises obtaining path properties of an infeasible path, selecting a path from the software program and obtaining path properties of the selected path, wherein the method further comprises comparing path properties of the selected path to the path properties of the infeasible path to identify a target path and determine infeasibility of the target path.
    Type: Application
    Filed: June 5, 2009
    Publication date: December 9, 2010
    Inventors: Hee Beng Kuan TAN, Hongyu ZHANG
  • Method for using a data flow net to specify and assemble computer software
    Patent number: 6694505
    Abstract: A method for specifying computer software called the Data Flow Net (“DF Net”) which enables the reusability of portions of the software. Computer software is specified by combining sets of code fragments which implement some coherent functionalities. A method to represent a set of code fragments is provided. A method for combining sets of code fragments specified according to the DF Net method is described. A method for transforming software specified according to the DF Net method into executable instructions is further provided.
    Type: Grant
    Filed: December 7, 1999
    Date of Patent: February 17, 2004
    Assignee: Kim Seng Holdings Pte. Ltd.
    Inventor: Hee Beng Kuan Tan