Aug 21, 2018 · This paper introduces a fresh approach that can help benchmark symbolic execution tools in a fine-grained and efficient manner.
May 25, 2018 · If a symbolic execution tool can find test cases to trigger logic bombs, it indicates that the tool can handle the corresponding problems. We ...
Dec 5, 2017 · If a symbolic execution tool can find test cases to trigger logic bombs, it indicates that the tool can handle the corresponding problems. We ...
Oct 22, 2024 · To address such concerns, this paper proposes a novel approach to benchmark symbolic execution tools. Our approach is based on logic bombs which ...
People also ask
What is symbolic execution used for?
What is a logic bomb in operating system?
Dec 5, 2017 · To address such concerns, this paper proposes a novel approach to benchmark symbolic execution tools. Our approach is based on logic bombs which ...
We first use Logic Bomb [69] , a well-constructed third-party benchmark suite dedicated to evaluating symbolic execution approaches. Besides, we also use six ...
The logic bomb can be triggered when certain conditions are met. Any dynamic testing tools (especially symbolic execution) can employ the dataset to benchmark ...
This project includes a set of small programs with logic bombs. The logic bomb can be triggered when certain conditions are met.
This paper proposes a novel approach to benchmark symbolic execution tools based on logic bombs which are guarded by particular challenging problems and ...
This paper presents the basics of the symbolic execution approach and studies the common tools which utilize symbolic execution in them.