Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Parallel symbolic execution on cluster of commodity hardware

Parallel symbolic execution on cluster of commodity hardware

US Patent 8863096 · Granted Oct 14, 2014

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Automatic generation of patches for security violations2024
High-throughput extract-transform-load (ETL) of program events for subsequent an2019
System and method for using failure casting to manage failures in a computed sys2017
Advantageous state merging during symbolic analysis2015
Advantageous state merging during symbolic analysis2015
Automatic generation of program execution that reaches a given failure point2015
Automatic generation of program execution that reaches a given failure point2015
High-throughput extract-transform-load (ETL) of program events for subsequent an2014
System and method for in-vivo multi-path analysis of binary software2014
System and method for using failure casting to manage failures in computer syste2013
High-concurrency query operator and method2012
System and method for join-partitioning for local computability of query over sh2012