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:
Feb. 10, 2026
Filed:
Jun. 30, 2023
International Business Machines Corporation, Armonk, NY (US);
Rangeet Pan, White Plains, NY (US);
Saurabh Sinha, Danbury, CT (US);
Rahul Krishna Prasad, White Plains, NY (US);
Julian Timothy Dolby, Bronx, NY (US);
Venkata Nagaraju Pavuluri, New Rochelle, NY (US);
Maja Vukovic, New York, NY (US);
International Business Machines Corporation, Armonk, NY (US);
Abstract
In some implementations, a code translation validation platform may convert source code, associated with a source application, to an intermediate representation that supports a source programing language and a target programing language. The code translation validation platform may identify metamorphic relations in the intermediate representation based on program constructs and program interactions. The code translation validation platform may generate test cases based on the identified metamorphic relations. The code translation validation platform may perform symbolic execution of the intermediate representation to generated test cases. The code translation validation platform may apply the generated test cases to the source programming language and to the target programming language.