A bounded symbolic-size model for symbolic execution

D Trabish, S Itzhaky, N Rinetzky - Proceedings of the 29th ACM Joint …, 2021 - dl.acm.org
Symbolic execution is a powerful program analysis technique which allows executing
programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of …
被引用次数：11 相关文章
[PDF] tau.ac.il

[PDF][PDF] A Bounded Symbolic-Size Model for Symbolic Execution

D Trabish, S Itzhaky, N Rinetzky - 2021 - cs.tau.ac.il
Symbolic execution is a powerful program analysis technique which allows executing
programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of …
[PDF] github.io

[PDF][PDF] A Bounded Symbolic-Size Model for Symbolic Execution

D Trabish, S Itzhaky, N Rinetzky - 2021 - davidtr1037.github.io
Symbolic execution is a powerful program analysis technique which allows executing
programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of …
[PDF] tau.ac.il

[PDF][PDF] A Bounded Symbolic-Size Model for Symbolic Execution

D Trabish, S Itzhaky, N Rinetzky - 2021 - math.tau.ac.il
Symbolic execution is a powerful program analysis technique which allows executing
programs with symbolic inputs. Modern symbolic execution tools use a concrete modeling of …