Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Abstract symbolic execution for scaling symbolic execution generation and automatic test generation

Abstract symbolic execution for scaling symbolic execution generation and automatic test generation

US Patent 8856751 · Granted Oct 7, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Defect monitoring apparatus and detection method for transformer oil conservator2025
Gripper mechanism2025
Vehicle routing problem (VRP) solution using annealer-based solvers2025
Frequency-adjustable water dripping device2025
Route generation for vehicle routing problem and variants thereof2024
Shield tunnel segment structure and construction method thereof2024
Fatigue bending and folding test device for ultra-thin metal strip2024
Methods of using metal complexes to promote wound healing2024
Control method and system for distribution network with distributed mobile energ2023
High-strength concrete and preparation method thereof2023
Method and device for evaluating long-term operation of transformer oil pump2023
Network node clustering2023