Patents by Inventor Bokil Prasad

Bokil Prasad 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).

  • System and method for automatic generation of test data to satisfy modified condition decision coverage
    Patent number: 8612938
    Abstract: The tool, MC/DC-Automatic Tool Generator automatically generates test data to satisfy Modified Condition Decision Coverage (MCDC) from input code/model. This tool reduces the effort required to generate MCDC test data significantly. In order to reduce the time required by model checkers, abstraction and optimization methodologies have been implemented to analyze typical reactive software model/code.
    Type: Grant
    Filed: January 5, 2010
    Date of Patent: December 17, 2013
    Assignee: TATA Consultancy Services Limited
    Inventors: Bokil Prasad, Darke Priyanka, Venkatesh Ramanathan, Shrotri Ulka
  • SYSTEM AND METHOD FOR AUTOMATIC GENERATION OF TEST DATA TO SATISFY MODIFIED CONDITION DECISION COVERAGE
    Publication number: 20100175052
    Abstract: The tool, MC/DC-Automatic Tool Generator automatically generates test data to satisfy Modified Condition Decision Coverage (MCDC) from input code/model. This tool reduces the effort required to generate MCDC test data significantly. In order to reduce the time required by model checkers, abstraction and optimization methodologies have been implemented to analyze typical reactive software model/code.
    Type: Application
    Filed: January 5, 2010
    Publication date: July 8, 2010
    Applicant: TATA Consultancy Services Limited
    Inventors: Bokil Prasad, Darke Priyanka, R. Venkatesh, Shrotri Ulka