Inventor
HARTMAN ALAN
IL14 patents
⚠️ This page may combine multiple inventors who share the name “HARTMAN ALAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
8 patentsUS7272752B2Sep 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
US7024589B2Apr 4, 2006
Reducing the complexity of finite state machine test generation using combinatorial designs
IBM53 citations93
US6335733B1Jan 1, 2002
Method and system for displaying and editing a resource schedule
IBM57 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
US7085748B2Aug 1, 2006
Hyper-arc consistency in a contraint satisfaction network
IBM12 citations81