Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for generating a computer program test suite using dynamic symbolic execution

Method and system for generating a computer program test suite using dynamic symbolic execution

US Patent 5761408 · Granted Jun 2, 1998

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method and system for selecting targeted advertisements and presenting to users 2023
Dynamic determination of service allocation and fulfillment2022
Selecting advertisements from one or more databases for sending to a publisher2020
Ranking advertisements selected from one or more databases by georelevance2020
Dynamic determination of service allocation and fulfillment2020
Selecting advertisements for users via a targeting database2019
System and method for automatically monitoring the overall health of a software 2017
System and method for generating unit test based on recorded execution paths2014
System and method for enforcement of business rules using static analysis2014
System and method for automated recipe selection and shopping list creation2013
Detection of deadlocks or race conditions in physical systems using load testing2013
System and method for creating and submitting electronic shopping lists2013