Frank TIP

Person

Ridgewood, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automated testing of applications with scripting code
- Patent number 9,135,147
- Issue date Sep 15, 2015
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fault localization using condition modeling and return value modeling
- Patent number 9,043,761
- Issue date May 26, 2015
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fault detection and localization in dynamic software applications
- Patent number 8,943,478
- Issue date Jan 27, 2015
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Refactoring programs for flexible locking
- Patent number 8,869,127
- Issue date Oct 21, 2014
- International Business Machines Corporation
- Julian Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable property-sensitive points-to analysis for program code
- Patent number 8,694,971
- Issue date Apr 8, 2014
- International Business Machines Corporation
- Satish Chandra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Correct refactoring of concurrent software
- Patent number 8,689,191
- Issue date Apr 1, 2014
- International Business Machines Corporation
- Julian Dolby
Information Patent Grant
Fault detection and localization in dynamic software applications r...
- Patent number 8,578,342
- Issue date Nov 5, 2013
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Declarative object identity using relation types
- Patent number 8,527,946
- Issue date Sep 3, 2013
- International Business Machines Corporation
- Mandana Vaziri-Farahani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting and localizing security vulnerabilities in client-server...
- Patent number 8,516,449
- Issue date Aug 20, 2013
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating inputs for client-server programs for fault-detection an...
- Patent number 8,453,125
- Issue date May 28, 2013
- International Business Machines Corporation
- Shay Artzi
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Using atomic sets of memory locations
- Patent number 8,423,966
- Issue date Apr 16, 2013
- International Business Machines Corporation
- Julian Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Fault localization using directed test generation
- Patent number 8,387,018
- Issue date Feb 26, 2013
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic detection of atomic-set-serializability violations
- Patent number 8,141,054
- Issue date Mar 20, 2012
- International Business Machines Corporation
- Julian T. Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic customization of classes
- Patent number 8,132,150
- Issue date Mar 6, 2012
- International Business Machines Corporation
- Bjorn De Sutter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic customization of classes
- Patent number 8,122,430
- Issue date Feb 21, 2012
- International Business Machines Corporation
- Bjorn De Sutter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using atomic sets of memory locations
- Patent number 7,716,645
- Issue date May 11, 2010
- International Business Machines Corporation
- Julian Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic customization of classes
- Patent number 7,356,802
- Issue date Apr 8, 2008
- International Business Machines Corporation
- Bjorn de Sutter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantics-based composition of class hierarchies
- Patent number 7,137,104
- Issue date Nov 14, 2006
- International Business Machines Corporation
- Frank Tip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable propagation-based methods for call graph construction
- Patent number 7,003,507
- Issue date Feb 21, 2006
- International Business Machines Corporation
- Frank Tip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Removal of unreachable methods in object-oriented applications base...
- Patent number 6,654,951
- Issue date Nov 25, 2003
- International Business Machines Corporation
- David Francis Bacon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for accurately extracting library-based object-oriented appl...
- Patent number 6,546,551
- Issue date Apr 8, 2003
- International Business Machines Corporation
- Peter Francis Sweeney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for determining reachable methods in object-oriented applica...
- Patent number 6,463,581
- Issue date Oct 8, 2002
- International Business Machines Corporation
- David Francis Bacon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for slicing class hierarchies
- Patent number 6,301,700
- Issue date Oct 9, 2001
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Aggregate structure identification and its application to program a...
- Patent number 6,279,149
- Issue date Aug 21, 2001
- International Business Machines Corporation
- John H. Field
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and device for program transformation using class hierarchy...
- Patent number 6,230,314
- Issue date May 8, 2001
- International Business Machines Corporation
- Peter F. Sweeney
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for slicing class hierarchies
- Patent number 6,179,491
- Issue date Jan 30, 2001
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Rule-based engine for transformation of class hierarchy of an objec...
- Patent number 5,983,020
- Issue date Nov 9, 1999
- International Business Machines Corporation
- Peter F. Sweeney
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATED TESTING OF APPLICATIONS WITH SCRIPTING CODE
- Publication number 20130290786
- Publication date Oct 31, 2013
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE PROPERTY-SENSITIVE POINTS-TO ANALYSIS FOR PROGRAM CODE
- Publication number 20130091487
- Publication date Apr 11, 2013
- International Business Machines Corporation
- Satish CHANDRA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...
- Publication number 20120254839
- Publication date Oct 4, 2012
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REFACTORING PROGRAMS FOR FLEXIBLE LOCKING
- Publication number 20120174082
- Publication date Jul 5, 2012
- International Business Machines Corporation
- Julian DOLBY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING INPUTS FOR CLIENT-SERVER PROGRAMS FOR FAULT DETECTION AN...
- Publication number 20120151454
- Publication date Jun 14, 2012
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...
- Publication number 20120110551
- Publication date May 3, 2012
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAULT LOCALIZATION USING CONDITION MODELING AND RETURN VALUE MODELING
- Publication number 20120054553
- Publication date Mar 1, 2012
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAULT LOCALIZATION USING DIRECTED TEST GENERATION
- Publication number 20120054552
- Publication date Mar 1, 2012
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CORRECT REFACTORING OF CONCURRENT SOFTWARE
- Publication number 20110219361
- Publication date Sep 8, 2011
- International Business Machines Corporation
- JULIAN DOLBY
Information Patent Application
DETECTING AND LOCALIZING SECURITY VULNERABILITIES IN CLIENT-SERVER...
- Publication number 20110030061
- Publication date Feb 3, 2011
- International Business Machines Corporation
- SHAY ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAULT DETECTION AND LOCALIZATION IN DYNAMIC SOFTWARE APPLICATIONS R...
- Publication number 20110016457
- Publication date Jan 20, 2011
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING ADDITIONAL USER INPUTS FOR FAULT DETECTION AND LOCALIZAT...
- Publication number 20110016456
- Publication date Jan 20, 2011
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FAULT DETECTION AND LOCALIZATION IN DYNAMIC SOFTWARE APPLICATIONS
- Publication number 20110016356
- Publication date Jan 20, 2011
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING ATOMIC SETS OF MEMORY LOCATIONS
- Publication number 20100192131
- Publication date Jul 29, 2010
- International Business Machines Corporation
- Julian Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC DETECTION OF ATOMIC-SET-SERIALIZABILITY VIOLATIONS
- Publication number 20090044174
- Publication date Feb 12, 2009
- International Business Machines Corporation
- Julian T. Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DECLARATIVE OBJECT IDENTITY USING RELATION TYPES
- Publication number 20080222602
- Publication date Sep 11, 2008
- International Business Machines Corporation
- Mandana Vaziri-Farahani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CUSTOMIZATION OF CLASSES
- Publication number 20080189696
- Publication date Aug 7, 2008
- International Business Machines Corp.
- BJORN DE SUTTER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CUSTOMIZATION OF CLASSES
- Publication number 20080082972
- Publication date Apr 3, 2008
- International Business Machines Corp.
- BJORN DE SUTTER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method using atomic sets of memory locations
- Publication number 20060282476
- Publication date Dec 14, 2006
- International Business Machines Corporation
- Julian Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for change classification
- Publication number 20060168565
- Publication date Jul 27, 2006
- International Business Machines Corporation
- Erich Gamma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Parameterization of programming structures
- Publication number 20060080644
- Publication date Apr 13, 2006
- International Business Machines Corporation
- Robert M. Fuhrer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic customization of classes
- Publication number 20050071810
- Publication date Mar 31, 2005
- International Business Machines Corporation
- Bjorn de Sutter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Semantics-based composition of class hierarchies
- Publication number 20030221182
- Publication date Nov 27, 2003
- International Business Machines Corporation
- Frank Tip
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Scalable propagation-based methods for call graph construction
- Publication number 20030018603
- Publication date Jan 23, 2003
- International Business Machines Corporation
- Frank Tip
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Automated testing of applications with scripting code

Fault localization using condition modeling and return value modeling

Fault detection and localization in dynamic software applications

Refactoring programs for flexible locking

Scalable property-sensitive points-to analysis for program code

Correct refactoring of concurrent software

Fault detection and localization in dynamic software applications r...

Declarative object identity using relation types

Detecting and localizing security vulnerabilities in client-server...

Generating inputs for client-server programs for fault-detection an...

Using atomic sets of memory locations

Fault localization using directed test generation

Dynamic detection of atomic-set-serializability violations

Automatic customization of classes

Automatic customization of classes

Using atomic sets of memory locations

Automatic customization of classes

Semantics-based composition of class hierarchies

Scalable propagation-based methods for call graph construction

Removal of unreachable methods in object-oriented applications base...

Method for accurately extracting library-based object-oriented appl...

Method for determining reachable methods in object-oriented applica...

Method and apparatus for slicing class hierarchies

Aggregate structure identification and its application to program a...

Method and device for program transformation using class hierarchy...

Method and apparatus for slicing class hierarchies

Rule-based engine for transformation of class hierarchy of an objec...

Patents Applicationslast 30 patents

AUTOMATED TESTING OF APPLICATIONS WITH SCRIPTING CODE

SCALABLE PROPERTY-SENSITIVE POINTS-TO ANALYSIS FOR PROGRAM CODE

SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...

REFACTORING PROGRAMS FOR FLEXIBLE LOCKING

GENERATING INPUTS FOR CLIENT-SERVER PROGRAMS FOR FAULT DETECTION AN...

SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...

FAULT LOCALIZATION USING CONDITION MODELING AND RETURN VALUE MODELING

FAULT LOCALIZATION USING DIRECTED TEST GENERATION

CORRECT REFACTORING OF CONCURRENT SOFTWARE

DETECTING AND LOCALIZING SECURITY VULNERABILITIES IN CLIENT-SERVER...

FAULT DETECTION AND LOCALIZATION IN DYNAMIC SOFTWARE APPLICATIONS R...

GENERATING ADDITIONAL USER INPUTS FOR FAULT DETECTION AND LOCALIZAT...

FAULT DETECTION AND LOCALIZATION IN DYNAMIC SOFTWARE APPLICATIONS

USING ATOMIC SETS OF MEMORY LOCATIONS

DYNAMIC DETECTION OF ATOMIC-SET-SERIALIZABILITY VIOLATIONS

DECLARATIVE OBJECT IDENTITY USING RELATION TYPES

AUTOMATIC CUSTOMIZATION OF CLASSES

AUTOMATIC CUSTOMIZATION OF CLASSES

System and method using atomic sets of memory locations

Method and system for change classification

Parameterization of programming structures

Automatic customization of classes

Semantics-based composition of class hierarchies

Scalable propagation-based methods for call graph construction