Inventor · disambiguated record
Frank Tip
Also filed as: TIP FRANK
29 granted patents·3 pending applications·787 citations·filing 1997–2012
97Inventor score
Top patents by PatentIndex Score
32 records- 0196US7716645B2Using atomic sets of memory locationsIBM·Filed 2005·Granted May 11, 2010·77 cites·1 claims
- 0292US7356802B2Automatic customization of classesIBM·Filed 2003·Granted Apr 8, 2008·84 cites·13 claims
- 0391US8516449B2Detecting and localizing security vulnerabilities in client-server applicationARTZI SHAY·Filed 2010·Granted Aug 20, 2013·17 cites·25 claims
- 0489US8689191B2Correct refactoring of concurrent softwareDOLBY JULIAN·Filed 2010·Granted Apr 1, 2014·19 cites·20 claims
- 0588US9135147B2Automated testing of applications with scripting codeARTZI SHAY·Filed 2012·Granted Sep 15, 2015·16 cites·23 claims
- 0688US9043761B2Fault localization using condition modeling and return value modelingARTZI SHAY·Filed 2010·Granted May 26, 2015·13 cites·16 claims
- 0787US8869127B2Refactoring programs for flexible lockingDOLBY JULIAN·Filed 2011·Granted Oct 21, 2014·12 cites·25 claims
- 0887US8387018B2Fault localization using directed test generationIBM·Filed 2010·Granted Feb 26, 2013·11 cites·17 claims
- 0986US8132150B2Automatic customization of classesDE SUTTER BJORN·Filed 2008·Granted Mar 6, 2012·20 cites·20 claims
- 1084US8122430B2Automatic customization of classesDE SUTTER BJORN·Filed 2007·Granted Feb 21, 2012·15 cites·20 claims
- 1182US8694971B2Scalable property-sensitive points-to analysis for program codeCHANDRA SATISH·Filed 2011·Granted Apr 8, 2014·7 cites·22 claims
- 1280US8578342B2Fault detection and localization in dynamic software applications requiring user inputs and persistent statesARTZI SHAY·Filed 2009·Granted Nov 5, 2013·10 cites·20 claims
- 1377US8141054B2Dynamic detection of atomic-set-serializability violationsDOLBY JULIAN T·Filed 2007·Granted Mar 20, 2012·13 cites·20 claims
- 1477US6463581B1Method for determining reachable methods in object-oriented applications that use class librariesIBM·Filed 1998·Granted Oct 8, 2002·82 cites·29 claims
- 1576US9720798B2Simulating black box test results using information from white box testingFINK STEPHEN·Filed 2012·Granted Aug 1, 2017·4 cites·6 claims
- 1674US8453125B2Generating inputs for client-server programs for fault-detection and localizationARTZI SHAY·Filed 2010·Granted May 28, 2013·4 cites·24 claims
- 1774US5983020ARule-based engine for transformation of class hierarchy of an object-oriented programIBM·Filed 1997·Granted Nov 9, 1999·68 cites·6 claims
- 1873US8943478B2Fault detection and localization in dynamic software applicationsARTZI SHAY·Filed 2009·Granted Jan 27, 2015·6 cites·17 claims
- 1972US8527946B2Declarative object identity using relation typesVAZIRI-FARAHANI MANDANA·Filed 2007·Granted Sep 3, 2013·9 cites·20 claims
- 2072US6546551B1Method for accurately extracting library-based object-oriented applicationsIBM·Filed 1999·Granted Apr 8, 2003·62 cites·20 claims
- 2168US7137104B2Semantics-based composition of class hierarchiesIBM·Filed 2002·Granted Nov 14, 2006·21 cites·29 claims
- 2267US9747187B2Simulating black box test results using information from white box testingFINK STEPHEN·Filed 2010·Granted Aug 29, 2017·2 cites·8 claims
- 2367US8423966B2Using atomic sets of memory locationsDOLBY JULIAN·Filed 2010·Granted Apr 16, 2013·2 cites·19 claims
- 2466US7003507B2Scalable propagation-based methods for call graph constructionIBM·Filed 2001·Granted Feb 21, 2006·25 cites·18 claims
- 2566US6230314B1Method and device for program transformation using class hierarchy transformation based upon type constraint analysisIBM·Filed 1997·Granted May 8, 2001·49 cites·20 claims
- 2665US6301700B1Method and apparatus for slicing class hierarchiesIBM·Filed 1999·Granted Oct 9, 2001·38 cites·10 claims
- 2760US6279149B1Aggregate structure identification and its application to program analysisIBM·Filed 1998·Granted Aug 21, 2001·38 cites·22 claims
- 2858US6654951B1Removal of unreachable methods in object-oriented applications based on program interface analysisIBM·Filed 1998·Granted Nov 25, 2003·33 cites·19 claims
- 2958US6179491B1Method and apparatus for slicing class hierarchiesIBM·Filed 1997·Granted Jan 30, 2001·30 cites·26 claims
- 3049US2011016456A1Generating additional user inputs for fault detection and localization in dynamic software applicationsIBM·Filed 2009·Application pending·0 cites
- 3143US2006080644A1Parameterization of programming structuresIBM·Filed 2004·Application pending·0 cites
- 3238US2006168565A1Method and system for change classificationIBM·Filed 2005·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →