Java Ranger: Statically summarizing regions for efficient symbolic execution of Java

V Sharma, S Hussein, MW Whalen… - Proceedings of the 28th …, 2020 - dl.acm.org
Merging execution paths is a powerful technique for reducing path explosion in symbolic
execution. One approach, introduced and dubbed “veritesting” by Avgerinos et al., works by …
被引用次数：22 相关文章
[PDF] researchgate.net

[PDF][PDF] Java Ranger: Statically Summarizing Regions for Efficient Symbolic Execution of Java

V Sharma, S Hussein, MW Whalen, S McCamant… - 2020 - researchgate.net
Merging execution paths is a powerful technique for reducing path explosion in symbolic
execution. One approach, introduced and dubbed łveritestingž by Avgerinos et al., works by …

Java Ranger: Statically summarizing regions for efficient symbolic execution of Java

V Sharma, S Hussein, MW Whalen… - 28th ACM Joint …, 2020 - experts.umn.edu
Merging execution paths is a powerful technique for reducing path explosion in symbolic
execution. One approach, introduced and dubbed" veritesting" by Avgerinos et al., works by …