Inventor
SALVADOR ROMAN
US5 patents
Patents
5 patentsUS5784553AJul 21, 1998
Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs
PARASOFT CORP296 citations98
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
US7266808B2Sep 4, 2007
Method and system for dynamically invoking and/or checking conditions of a computer test program
PARASOFT CORP44 citations90