Sentence examples for execution tree from inspiring English sources

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.

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.

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

Experiments are then conducted to show the performance of the proposed CMFFP-tree algorithm in terms of execution time and the number of tree nodes, compared to those of the MFFP-tree and CFFP-tree algorithms.

In the strict form, the traversal of control locations forms a control path producing output values, whereas in the non-strict form, execution traverses a tree of potential control locations producing partial information about output values.

Callot begins with a plate showing the recruitment of soldiers; brings into view ferocious combat, massacre, pillage, and rape, the engines of torture and execution (strappado, gallows tree, firing squad, stake, wheel), and the revenge of the peasants on the soldiers; and ends with a distribution of rewards.