Inventor
NAGIN KENNETH
IL19 patents
⚠️ This page may combine multiple inventors who share the name “NAGIN KENNETH”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
14 patentsUS5594900AJan 14, 1997
System and method for providing a backup copy of a database
IBM172 citations98
US7272752B2Sep 18, 2007
Method and system for integrating test coverage measurements with model based test generation
IBM60 citations96
US6944848B2Sep 13, 2005
Technique using persistent foci for finite state machine based software test generation
IBM114 citations96
US7089534B2Aug 8, 2006
Model based test generation for validation of parallel and concurrent software
IBM90 citations95
US9929931B2Mar 27, 2018
Efficient provisioning and deployment of virtual machines
IBM19 citations93
US7024589B2Apr 4, 2006
Reducing the complexity of finite state machine test generation using combinatorial designs
IBM53 citations93
US7117484B2Oct 3, 2006
Recursive use of model based test generation for middleware validation
IBM46 citations91
US7055065B2May 30, 2006
Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules
IBM32 citations91
US5606679AFeb 25, 1997
Method for optimal retrieval of non-volume-specific data
IBM33 citations90
US7428658B2Sep 23, 2008
Checking storage reconfiguration
IBM14 citations84
US6275964B1Aug 14, 2001
Software enhanced error correction mechanism in a data communication system
IBM12 citations68
US7971200B2Jun 28, 2011
Transparent recovery of self-sustained code-upgrade
IBM2 citations58
US7783921B2Aug 24, 2010
Code recovery system and method
IBM3 citations58
US9582677B2Feb 28, 2017
Dynamic storlets in storage system data path
IBM1 citations49