Inventor

KROHM FLORIAN

US2 patents

Patents

2 patents

US7168009B2Jan 23, 2007

Method and system for identifying errors in computer software

IBM30 citations90

US7089542B2Aug 8, 2006

Method and apparatus for finding errors in software programs using satisfiability of constraints

IBM49 citations90