The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Symbolic execution has proven to be a practical technique for building automated test case generation and bug finding tools. Nevertheless, due to state explosion, these tools still struggle to achieve scalability. Given a program, one way to reduce the number of states that the tools need to explore is to merge states obtained on different paths. Alas, doing so increases the size of symbolic path conditions (thereby stressing the underlying constraint solver) and interferes with optimizations of the exploration process (also referred to as search strategies). The net effect is that state merging may actually lower performance rather than increase it.
How it got here
How it got here
agent via openalex
Added
2026-10-27 05:31 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{kuznetsov2012efficient,
title = {Efficient state merging in symbolic execution},
author = {Volodymyr Kuznetsov and Johannes Kinder and Ștefan Bucur and George Candea},
year = {2012},
journal = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
pages = {193--204},
doi = {10.1145/2254064.2254088},
}