Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for automatically pruning search space of symbolic execution via machine learning

Method for automatically pruning search space of symbolic execution via machine learning

US Patent 12086055 · Granted Sep 10, 2024

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Device and method for program repair for type errors in dynamically typed langua2025
Method for feedback of program2025
Device and method for automatically repairing memory deallocation errors2021
Method for automatically generating search heuristics and performing method of c2020
Method for automatically generating search heuristics and performing method of c2020
Method for automatically generating search heuristics and performing method of c2020
Method for automatically generating search heuristics and performing method of c2020