Inventor
KOLAWA ADAM K
US24 patents
⚠️ This page may combine multiple inventors who share the name “KOLAWA ADAM K”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
PARASOFT CORP
19 patentsUS6473896B1Oct 29, 2002
Method and system for graphically generating user-defined rules for checking language quality
PARASOFT CORP84 citations98
US5784553AJul 21, 1998
Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs
PARASOFT CORP296 citations98
US7900193B1Mar 1, 2011
System and method for detecting defects in a computer program using data and control flow analysis
PARASOFT CORP78 citations97
US6085029AJul 4, 2000
Method using a computer for automatically instrumenting a computer program for dynamic debugging
PARASOFT CORP173 citations97
US5761408AJun 2, 1998
Method and system for generating a computer program test suite using dynamic symbolic execution
PARASOFT CORP167 citations97
US5581696ADec 3, 1996
Method using a computer for automatically instrumenting a computer program for dynamic debugging
PARASOFT CORP151 citations97
US6895578B1May 17, 2005
Modularizing a computer program for testing and debugging
PARASOFT CORP139 citations96
US6806893B1Oct 19, 2004
System and method for displaying simulated three dimensional buttons in a graphical user interface
PARASOFT CORP96 citations96
US6236974B1May 22, 2001
Method and apparatus for automated selection and organization of products including menus
PARASOFT CORP215 citations96
US5842019ANov 24, 1998
Method and system for dynamically detecting leaked memory space in a computer program
PARASOFT CORP64 citations96
US7596778B2Sep 29, 2009
Method and system for automatic error prevention for computer software
PARASOFT CORP137 citations95
US7392507B2Jun 24, 2008
Modularizing a computer program for testing and debugging
PARASOFT CORP81 citations95
US7010546B1Mar 7, 2006
Method and system for testing data sources and database oriented software applications
PARASOFT CORP123 citations94
USD503179SMar 22, 2005
Three dimensional computer generated icon for a display screen
PARASOFT CORP58 citations94
US6370513B1Apr 9, 2002
Method and apparatus for automated selection, organization, and recommendation of items
PARASOFT CORP667 citations94
US7904802B1Mar 8, 2011
System and method for software code review
PARASOFT CORP51 citations93
US5860011AJan 12, 1999
Method and system for automatically checking computer source code quality based on rules
PARASOFT CORP63 citations93
US8032863B2Oct 4, 2011
System and method for global group reporting
PARASOFT CORP34 citations90
US7877780B2Jan 25, 2011
System and method for enforcing functionality in computer software through policies
PARASOFT CORP20 citations85
KOLAWA ADAM K
5 patentsUS8205191B1Jun 19, 2012
System and method for change-based testing
KOLAWA ADAM K64 citations94
US8732676B1May 20, 2014
System and method for generating unit test based on recorded execution paths
KOLAWA ADAM K15 citations83
US8656364B1Feb 18, 2014
System and method for enforcement of business rules using static analysis
KOLAWA ADAM K11 citations80
US8448148B1May 21, 2013
Detection of deadlocks or race conditions in physical systems using load testing
KOLAWA ADAM K18 citations75
US9672481B1Jun 6, 2017
System and method for automatically monitoring the overall health of a software project
KOLAWA ADAM K4 citations62