Method and system for function call and variable access based relaxed backward slicing
US-12190131-B2 · Jan 7, 2025 · US
This page is not indexed by search engines while we improve data quality.
Kumar Shrawan patents
Kumar Shrawan is listed as an inventor on 16 patents in our database. Major assignees and classification codes are summarized below.
| Metric | Value |
|---|---|
| Inventor | Kumar Shrawan |
| Total patents | 16 |
| First publication | Jul 11, 2017 |
| Latest publication | Jan 7, 2025 |
Notable patents
Publications ranked by popularity score, then publication date.
Method and system for validation of calculation code against calculation specification
US-12130845-B2 · Oct 29, 2024 · US
Method and system for identifying static analysis alarms based on semantics of changed source code
US-12099822-B2 · Sep 24, 2024 · US
Method and system for identifying relevant changes for incremental verification of evolving software
US-12050906-B2 · Jul 30, 2024 · US
Method and system for incremental functional approach-based dataflow analysis
US-2024143299-A1 · May 2, 2024 · US
Method and system for identifying relevant changes for incremental verification of evolving software
US-2023281007-A1 · Sep 7, 2023 · US
Method and system for validation of calculation code against calculation specification
US-2023237078-A1 · Jul 27, 2023 · US
Systems and methods for selective path sensitive interval analysis
US-11650907-B2 · May 16, 2023 · US
Method and system for identifying static analysis alarms based on semantics of changed source code
US-2023129536-A1 · Apr 27, 2023 · US
Systems and methods for selective path sensitive interval analysis
US-2023004479-A1 · Jan 5, 2023 · US
Recent patents
Latest publications not already listed above.
Method and system for function call and variable access based relaxed backward slicing
US-2022342680-A1 · Oct 27, 2022 · US
System and method for software verification
US-11275860-B2 · Mar 15, 2022 · US
System and method for software verification
US-2021141914-A1 · May 13, 2021 · US
Bin assembly
US-10371436-B2 · Aug 6, 2019 · US
Bin assembly
US-2019137168-A1 · May 9, 2019 · US
System and method for analyzing software application in view of entry points
US-9703555-B2 · Jul 11, 2017 · US
Major assignees
Companies most often associated with this inventor's publications.
| Assignee | Patents |
|---|---|
| Tata Consultancy Services Ltd | 14 |
| Whirlpool Co | 2 |
Top CPC classifications
Most common classification codes across this inventor's patents.
| CPC | Patents |
|---|---|
| G06F8/75 | 8 |
| G06F11/3604 | 7 |
| G06F8/433 | 6 |
| G06F8/71 | 5 |
| G06F11/3608 | 5 |