Inventor
JANA ANUSHRI
IN4 patents
Patents
4 patentsUS12050906B2Jul 30, 2024
Method and system for identifying relevant changes for incremental verification of evolving software
TATA CONSULTANCY SERVICES LTD0 citations45
US12099822B2Sep 24, 2024
Method and system for identifying static analysis alarms based on semantics of changed source code
TATA CONSULTANCY SERVICES LTD0 citations41
US12112162B2Oct 8, 2024
Method and system for mapping intermediate representation objects for facilitating incremental analysis
TATA CONSULTANCY SERVICES LTD0 citations38
US10534689B2Jan 14, 2020
Data structure abstraction for model checking
TATA CONSULTANCY SERVICES LTD0 citations36