The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 29, 2012
Filed:
Mar. 18, 2008
Sriram Sankaranarayanan, Plainsboro, NJ (US);
Franjo Ivancic, Jersey City, NJ (US);
Aarti Gupta, Princeton, NJ (US);
Sriram Sankaranarayanan, Plainsboro, NJ (US);
Franjo Ivancic, Jersey City, NJ (US);
Aarti Gupta, Princeton, NJ (US);
NEC Laboratories America, Inc., Princeton, NJ (US);
Abstract
A system and method for mining program specifications includes generating unit tests to exercise functions of a library through an application program interface (API), based upon an (API) signature. A response to the unit tests is determined to generate a transaction in accordance with a target behavior. The transaction is converted into a relational form, and specifications of the library are learned using an inductive logic programming tool from the relational form of the transaction.