Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges

System and method for test generation from software specification models that contain nonlinear arithmetic constraints over real number ranges

US Patent 10169217 · Granted Jan 1, 2019

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Method, device, and system for tracking dialogue state2025
Aircraft conflict detection and resolution2025
Aircraft conflict detection and resolution2025
Traffic condition prediction system and traffic condition prediction method2022
Computing device and method for generating an object-detecting model and object-2022
Feature determination apparatus and method adapted to multiple object sizes2021
Methods and systems for using implied properties to make a controlled-english mo2021
Method and apparatus for algorithmic control of the acceptance of orders by an e2021
Vehicle detection assisting method and vehicle detection assisting system2020
Memory event mitigation in redundant software installations2020
Systems and methods of requirements chaining and applications thereof2020
Systems and methods of requirements chaining and applications thereof2020