Parti: A multi-interval theory solver for symbolic execution
Symbolic execution is an effective program analysis technique whose scalability largely
depends on the ability to quickly solve large numbers of first-order logic queries. We …
depends on the ability to quickly solve large numbers of first-order logic queries. We …
[PDF][PDF] PARTI: A Multi-interval Theory Solver for Symbolic Execution
OS Dustmann, K Wehrle, C Cadar - 2018 - comsys.rwth-aachen.de
Symbolic execution is an effective program analysis technique whose scalability largely
depends on the ability to quickly solve large numbers of first-order logic queries. We …
depends on the ability to quickly solve large numbers of first-order logic queries. We …
[PDF][PDF] PARTI: A Multi-interval Theory Solver for Symbolic Execution
OS Dustmann, K Wehrle, C Cadar - 2018 - srg.doc.ic.ac.uk
Symbolic execution is an effective program analysis technique whose scalability largely
depends on the ability to quickly solve large numbers of first-order logic queries. We …
depends on the ability to quickly solve large numbers of first-order logic queries. We …
PARTI: A Multi-interval Theory Solver for Symbolic Execution
OS Dustmann, K Wehrle, C Cadar - 2018 33rd IEEE/ACM …, 2018 - computer.org
Symbolic execution is an effective program analysis technique whose scalability largely
depends on the ability to quickly solve large numbers of first-order logic queries. We …
depends on the ability to quickly solve large numbers of first-order logic queries. We …
PARTI: A Multi-interval Theory Solver for Symbolic Execution
OS Dustmann, K Wehrle… - 2018 33rd IEEE/ACM …, 2018 - ieeexplore.ieee.org
Symbolic execution is an effective program analysis technique whose scalability largely
depends on the ability to quickly solve large numbers of first-order logic queries. We …
depends on the ability to quickly solve large numbers of first-order logic queries. We …
[PDF][PDF] PARTI: A Multi-interval Theory Solver for Symbolic Execution
OS Dustmann, K Wehrle, C Cadar - 2018 - srg.doc.ic.ac.uk
Symbolic execution is an effective program analysis technique whose scalability largely
depends on the ability to quickly solve large numbers of first-order logic queries. We …
depends on the ability to quickly solve large numbers of first-order logic queries. We …