Ambar A. Gadkari

Follow

Person

Malleshwaram West, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Software test case generation from a partial design model
- Patent number 8,683,442
- Issue date Mar 25, 2014
- GM Global Technology Operations LLC
- Prakash Mohan Peranandam
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Counter-Example Guided Abstraction Refinement Based Test Case Gener...
- Publication number 20140195209
- Publication date Jul 10, 2014
- GM GLOBAL TECHNOLOGY OPERATIONS LLC
- Manoranjan Satpathy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE TEST CASE GENERATION FROM A PARTIAL DESIGN MODEL
- Publication number 20130074040
- Publication date Mar 21, 2013
- GM GLOBAL TECHNOLOGY OPERATIONS LLC
- Prakash Mohan Peranandam
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and System for Automatic Test-Case Generation for Distribute...
- Publication number 20110083121
- Publication date Apr 7, 2011
- GM GLOBAL TECHNOLOGY OPERATIONS, INC.
- Manoj G. Dixit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL ANALYSIS DRIVEN BASED EVOLUTION OF REQUIREMENTS SPECIFICATIONS
- Publication number 20110041116
- Publication date Feb 17, 2011
- GM Global Technology Operations, Inc.
- Prahladavaradan Sampath
- G06 - COMPUTING CALCULATING COUNTING