Issued Patents 2024
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12112162 | Method and system for mapping intermediate representation objects for facilitating incremental analysis | Ankita Shamrao Khadsare, Vaidehi Manoj Ghime, Bharti Chimdyalwar | 2024-10-08 |
| 12099822 | Method and system for identifying static analysis alarms based on semantics of changed source code | Ankita Shamrao Khadsare, Vaidehi Manoj Ghime, Ramanathan Venkatesh, Bharti Chimdyalwar, Shrawan Kumar | 2024-09-24 |
| 12050906 | Method and system for identifying relevant changes for incremental verification of evolving software | Bharti Chimdyalwar, Shrawan Kumar | 2024-07-30 |