Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and system for debugging a program that includes declarative code and procedural code

Method and system for debugging a program that includes declarative code and procedural code

US Patent 9239773 · Granted Jan 19, 2016

Estimated economic value: $27,562,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method and system for automatically generating executable system-level tests2017
Coverage driven generation of constrained random stimuli2016
Coverage driven generation of constrained random stimuli2016
System, method, and computer program product for constraint solving2015
Method and system for test reduction and analysis2014
Automation of software verification2012