Sign in
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution).
Lei Bu
Zhunyi Xie
Lecheng Lyu
Yichao Li
Xiao Guo
Jianhua Zhao
Xuandong Li
Published in:
TACAS (2) (2022)
Keyphrases
</>
search space
program execution
neural network
information systems
state space
knowledge base
case study
relational databases
endpoints
transitive closure
control program