Symbolic Execution
A Generic Framework for Symbolic Execution
... is symbolic execution in term-rewriting sys- ...a symbolic semantics capable of symbolically executing programs in that language, and to provide users with means for building their applications on ...
21
EVALUATION OF STRING CONSTRAINT SOLVERS USING DYNAMIC SYMBOLIC EXECUTION
... Symbolic execution (SE) [26, 10] is a path sensitive static program analysis technique that is useful for error detection, test case generation, and SQL injection attack ...using symbolic instead of ...
127
Improving Structure Testing via Integrating Evolutionary Testing and Symbolic Execution
... our proposed technique is that our technique produces appropriate method sequences, which are lacking in these other structural coverage techniques. Search-based test generation [23, 25, 15] use genetic algorithms to ...
41
Test generation via dynamic symbolic execution for mutation testing
... In this paper, we propose a general approach that auto- matically generates test inputs to kill mutants via dynamic symbolic execution (DSE). Although there are techniques that generate test inputs to kill ...
10
A Novel Symbolic Execution Model in Automated Generation of Test Cases
... Although the significant scalability challenge for symbolic execution is how to handle the exponential number of paths in the code. In the proposed model, this issue is completely solved by using SPF and ...
7
Combining program synthesis and symbolic execution to deobfuscate binary code
... Various static and dynamic analysis techniques have been proposed over the years to tackle obfuscation. For instance, techniques such as program slicing, abstract interpretation, tainting and symbolic ...
58
Detecting Bank Conflict of GPU Programs Using Symbolic Execution—Case Study
... GPU (Graphics Processing Unit) is used in various areas. Therefore, the de- mand for the verification of GPU programs is increasing. In this paper, we suggest the method to detect bank conflict by using symbolic ...
10
Issue analysis for residual structural coverage in dynamic symbolic execution
... Dynamic Symbolic Execution (DSE) executes the pro- gram symbolically, starting with arbitrary ...the execution path, DSE collects symbolic constraints on program inputs in branch nodes (being ...
10
All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask)
... concolic execution [57] is to use values returned from system calls on previous con- crete executions in symbolic ...concrete execution sys_call() returns 10, we use 10 during forward symbolic ...
15
Regression Testing of Virtual Prototypes Using Symbolic Execution
... In this paper, we present how to apply symbolic execution to different versions of a virtual prototype for regression testing. We have detected many differences between three versions of the QEMU E1000 ...
6
Slogging Automatically Using Symbolic Execution
... steer execution toward the patched ...guiding symbolic execution using a heuristic which includes the static instruction distance to the target and the size of the target’s backward slice reachable ...
15
Suitability of Finite State Automata to Model String Constraints in Probablistic Symbolic Execution
... restrictions, the possible initial string values for both the password and attempt variables are the following 6 values: A, B, AA, AB, BA, and BB. The differences between the quantitative and reaching analyses is shown ...
182
Cloud9 Parallel Symbolic Execution for Automated Real-World Software Testing
... Linear Solution to Exponential Problem Program Size Time t o Test Testing target 1 worker.. Throw Hardware at the Problem.[r] ...
59
Use of Evolutionary Techniques for Symbolic Execution Based Testing
... Another test generation approach proposed by P.R Srivastava is based on path coverage testing [56]. The test data is generated for Resource Request algorithm using Ant Colony Optimization algorithm (ACO) and GA. Resource ...
6
Towards a Description of Symbolic Maps
... Bateman (2008) has sketched how an automatic text analysis with systemic-functional theory ('systemic parse') needs to look. It needs a functional description for sequences of text tokens, including the necessary ...
10
Distributed Symbolic Reachability Analysis
... Both fib(45) and uts(T3L) (with Steal-1) perform better with our implementation. The two work stealers perform about equally well for uts(T2L), and HotSLAW clearly performs better with nqueens(15) and uts(T3L) ...
88
Symbolic dynamics for Kleinian groups
... Markov partition and deformation spaces of Kleinian groups In this chapter we define the deformation of a Kleinian group and consider the question of regularity of the Hausdorff dimensio[r] ...
65
Infrared symbolic scene comparator
... Table Symbolic scene lot comparison Table 4.2.2 Symbolic scene Table 4.2.1 of Tables materials used in nighttime parking 46 materials used in daytime parking lot 47 comparison Table 4.2.[r] ...
97
PROJECT EXECUTION PLAN
... Safeguards and security was evaluated by completing the “Security Activities Analysis,” Form FRM-1259, following the instructions in CD-3700.001, “Security Activities Analysis for Execution Plans.” The only ...
49
The symbolic universe of Cyberjaya, Malaysia
... The MDeC is the government ‐ owned corporation that acts as a ‘one ‐ stop agency’ appointed to govern, promote, develop and manage the operation of the MSC with Cyberjaya at its core. It envisions a 20 ‐ year timeframe ...
36