Featured Webinar: MISRA C++ 2023: Everything You Need to Know | Watch Now

Image of people in open space work environment with computers and desks.

Innovation & Awards

Explore our awards and patents

Awards

Patents

11,836,068

SYSTEM AND METHOD FOR RECOMMENDING STATIC ANALYSIS FIXES

11,656,976

SYSTEM AND METHOD FOR ELEMENT LOCATOR RECOMMENDATIONS FOR A UI APPLICATION

11,507,495

SYSTEM AND METHOD FOR TEST IMPACT ANALYSIS OF COMPUTER PROGRAMS

11,385,988

SYSTEM AND METHOD TO IMPROVE RESULTS OF A STATIC CODE ANALYSIS BASED ON THE PROBABILITY OF A TRUE ERROR

5,581,696

METHOD USING A COMPUTER FOR AUTOMATICALLY INSTRUMENTING A COMPUTER PROGRAM FOR DYNAMIC DEBUGGING

5,761,408

METHOD AND SYSTEM FOR GENERATING A COMPUTER PROGRAM TEST SUITE USING DYNAMIC SYMBOLIC EXECUTION

5,784,553

METHOD AND SYSTEM FOR GENERATING A COMPUTER PROGRAM TEST SUITE USING DYNAMIC SYMBOLIC EXECUTION OF JAVA PROGRAMS

5,842,019

METHOD AND SYSTEM FOR DYNAMICALLY DETECTING LEAKED MEMORY SPACE IN A COMPUTER PROGRAM

5,860,011

METHOD AND SYSTEM FOR AUTOMATICALLY CHECKING COMPUTER SOURCE CODE QUALITY BASED ON RULES

6,085,029

METHOD USING A COMPUTER FOR AUTOMATICALLY INSTRUMENTING A COMPUTER PROGRAM FOR DYNAMIC DEBUGGING

6,473,896

METHOD AND SYSTEM FOR GRAPHICALLY GENERATING USER-DEFINED RULES FOR CHECKING LANGUAGE QUALITY

6,806,893

SYSTEM AND METHOD FOR DISPLAYING SIMULATED THREE DIMENSIONAL BUTTONS IN A GRAPHICAL USER INTERFACE

6,718,485

SOFTWARE EMULATING HARDWARE FOR ANALYSING MEMORY REFERENCES OF A COMPUTER PROGRAM

D503179

DESIGN: THREE DIMENSIONAL COMPUTER GENERATED ICON FOR A DISPLAY SCREEN

6,895,578

MODULARIZING A COMPUTER PROGRAM FOR TESTING AND DEBUGGING

7,010,546

METHOD AND SYSTEM FOR TESTING DATA SOURCES AND DATABASE ORIENTED SOFTWARE APPLICATIONS

7,028,223

SYSTEM AND METHOD FOR TESTING OF WEB SERVICES

7,266,808

METHOD AND SYSTEM FOR DYNAMICALLY INVOKING AND/OR CHECKING CONDITIONS OF A COMPUTER TEST PROGRAM

7,392,507

MODULARIZING A COMPUTER PROGRAM FOR TESTING AND DEBUGGING

7,596,778

METHOD AND SYSTEM FOR AUTOMATIC ERROR PREVENTION FOR COMPUTER SOFTWARE

7,620,939

AUTOMATIC CONFIGURATION OF REGRESSION TEST CONTROLS

7,680,752

SYSTEM AND METHOD FOR PREDICTIVE PROCESS MANAGEMENT

7,721,154

SYSTEM AND METHOD FOR SOFTWARE RUN-TIME TESTING

7,877,780

SYSTEM AND METHOD FOR ENFORCING FUNCTIONALITY IN COMPUTER SOFTWARE THROUGH POLICIES

7,900,193

SYSTEM AND METHOD FOR DETECTING DEFECTS IN A COMPUTER PROGRAM USING DATA AND CONTROL FLOW ANALYSIS

7,904,802

SYSTEM AND METHOD FOR SOFTWARE CODE REVIEW

7,908,590

SYSTEM AND METHOD FOR AUTOMATICALLY CREATING TEST CASES THROUGH A REMOTE CLIENT

8,001,532

SYSTEM AND METHOD FOR GENERATING SOURCE CODE-BASED TEST CASES

8,032,863

SYSTEM AND METHOD FOR GLOBAL GROUP REPORTING

8,127,275

SYSTEM AND METHOD FOR RECORDING THE STATE OF VARIABLES AND OBJECTS WHEN RUNNING UNIT TESTS

8,205,191

SYSTEM AND METHOD FOR CHANGE-BASED TESTING

8,448,148

DETECTION OF DEADLOCKS OR RACE CONDITIONS IN PHYSICAL SYSTEMS USING LOAD TESTING

8,510,716

SYSTEM AND METHOD FOR SIMULTANEOUSLY VALIDATING A CLIENT/SERVER APPLICATION FROM THE CLIENT SIDE AND FROM THE SERVER SIDE

8,656,364

SYSTEM AND METHOD FOR ENFORCEMENT OF BUSINESS RULES USING STATIC ANALYSIS

8,732,676

SYSTEM AND METHOD FOR GENERATING UNIT TEST BASED ON RECORDED EXECUTION PATHS

9,672,481

SYSTEM AND METHOD FOR AUTOMATICALLY MONITORING THE OVERALL HEALTH OF A SOFTWARE PROJECT

9,697,109

DYNAMICALLY CONFIGURABLE TEST DOUBLES FOR SOFTWARE TESTING AND VALIDATION

D503179

DESIGN: THREE DIMENSIONAL COMPUTER GENERATED ICON FOR A DISPLAY SCREEN

10,248,545

METHOD FOR TRACKING HIGH-LEVEL SOURCE ATTRIBUTION OF GENERATED ASSEMBLY LANGUAGE CODE