Satisfiability checking
US-9501331-B2 · Nov 22, 2016 · US
This page is not indexed by search engines while we improve data quality.
Ghosh Indradeep patents
Ghosh Indradeep holds 7 patents in our database, with recent filings and technology areas summarized below.
| Metric | Value |
|---|---|
| Total patents | 7 |
| Recent patents | 0 |
| First publication | Jan 27, 2015 |
| Latest publication | Nov 22, 2016 |
Filing trend
Year-over-year patent counts for this assignee.
Recent patents
Latest publications where this party is an assignee.
System and method for comparing software frameworks
US-9477928-B2 · Oct 25, 2016 · US
Iterative generation of symbolic test drivers for object-oriented languages
US-9058427-B2 · Jun 16, 2015 · US
Symbolic execution and automatic test case generation for JavaScript programs
US-9038032-B2 · May 19, 2015 · US
Software regression testing using symbolic execution
US-9021449-B2 · Apr 28, 2015 · US
Notable patents
Representative or frequently cited publications from precomputed assignee stats.
Satisfiability checking
US-9501331-B2 · Nov 22, 2016 · US
System and method for comparing software frameworks
US-9477928-B2 · Oct 25, 2016 · US
Iterative generation of symbolic test drivers for object-oriented languages
US-9058427-B2 · Jun 16, 2015 · US
Symbolic execution and automatic test case generation for JavaScript programs
US-9038032-B2 · May 19, 2015 · US
Software regression testing using symbolic execution
US-9021449-B2 · Apr 28, 2015 · US
Top CPC classifications
Most common classification codes in this portfolio.
| CPC | Patents |
|---|---|
| G06F11/3684 | 4 |
| G06F11/3608 | 3 |
| G06F11/3604 | 2 |
| G06F11/368 | 1 |
| G06F8/313 | 1 |
Technology areas
Mapped technology topics for this assignee.
| Technology | Patents |
|---|---|
| Physics | 7 |