Sentence examples for execution trees from inspiring English sources

In this paper, we present a combination of symbolic execution [26, 27] and real-time model checking that generates a precise control-flow model from the symbolic execution trees obtained with a symbolic execution of the program.

b Symbolic execution tree.

A symbolic execution tree characterizes the explored paths.

The JPF-SYMBC-RT component of SYMRT conducts a post-translation of the symbolic execution tree to the NTA formalism using a newly developed symbolic execution tree capability available in JPF-SYMBC V7 [46].

The former is based on reconstructing the CFG, while the latter is based on symbolic execution and works on the symbolic execution tree.

A program and its corresponding symbolic execution tree are shown in Fig. 1 a, b; a and b are symbolic values.

We have elaborated on the translation of the symbolic execution tree to the NTA modeling formalism of UPPAAL enabling a modular and configurable system timing model.

Multi-threading is handled systematically using a form of partial order reduction from JPF. Symbolic execution of looping programs may result in an infinite symbolic execution tree; for this reason, SPF is run with a user-specified bound on the search depth.

Each phylogenetic analysis aims at exploring several different MSA methods to verify which execution produces trees with the best quality.

As a result, execution times for tree searching and updating take up most of the execution times in the gateway and the server.

This study uses the delayed write scheme to reduce the average execution times for tree searching and updating operations in the gateway and the server.