Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
101
Memoized Symbolic Execution
"... This paper introduces memoized symbolic execution (Memoise), a new approach for more efficient application of forward symbolic execution, which is a well-studied technique for systematic exploration of program behaviors based on bounded execution paths. Our key insight is that application of symboli ..."
Abstract
-
Cited by 12 (5 self)
- Add to MetaCart
in various standard scenarios of using symbolic execution, e.g., with iterative deepening of exploration depth, to perform regression analysis, or to enhance coverage using heuristics.
Abstract Summarizations for Symbolic Executions
"... Consideration of execution paths is basic in program analysis and verification because it represents the process of exact propagation through the program fragment at hand. This is challenged by the fact that there are exponentially many paths in general. In this paper, we consider a straight-line pr ..."
Abstract
- Add to MetaCart
Consideration of execution paths is basic in program analysis and verification because it represents the process of exact propagation through the program fragment at hand. This is challenged by the fact that there are exponentially many paths in general. In this paper, we consider a straight
Enhancing Symbolic Execution Using Memoization and Incremental Techniques
, 2013
"... Copyright by ..."
Mixing Type Checking and Symbolic Execution
"... Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that algorithm is then extensively tweaked to add just enough precision for the coding idioms seen in practice, without sacrificin ..."
Abstract
- Add to MetaCart
algorithmic engineering to enhance a tool to perform well in a particular software domain. In this paper, we present MIX, a novel system that mixes type checking and symbolic execution. The key aspect of our approach is that these analyses are applied independently on disjoint parts of the program, in an off
Symbolic Execution for Checking the Accuracy of Floating-Point Programs ∗
"... Programs with floating-point calculations tend to give rise to hard-to-predict behavior. Such uncertainty cannot be ignored: floating-point errors can have catastrophic conse-quences, as it happened with the Patriot missile accident in 1991. The likelihood of such incidents can be decreased by using ..."
Abstract
- Add to MetaCart
by using automated technology to reliably analyze numer-ical code. We present a symbolic execution approach to checking the accuracy of numerical programs, investigating how much a floating-point computation deviates from the “ideal ” computation on real values. Our method is imple-mented in the Symbolic
Using Test Case Reduction and Prioritization to Improve Symbolic Execution
"... Scaling symbolic execution to large programs or programs with complex inputs remains difficult due to path explosion and complex constraints, as well as external method calls. Additionally, creating an effective test structure with sym-bolic inputs can be difficult. A popular symbolic execution stra ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
strategy in practice is to perform symbolic execution not “from scratch ” but based on existing test cases. This paper proposes that the effectiveness of this approach to symbolic execution can be enhanced by (1) reducing the size of seed test cases and (2) prioritizing seed test cases to maximize ex
Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution
"... Abstract Recently, search based techniques have received great attention as a means of automating the test data generation activity. On the contrary, more traditional methods that automate the test data generation usually employ symbolic execution by incorporating a path generation phase and constra ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Abstract Recently, search based techniques have received great attention as a means of automating the test data generation activity. On the contrary, more traditional methods that automate the test data generation usually employ symbolic execution by incorporating a path generation phase
Materials for an exploratory theory of the network society.
- The British Journal of Sociology
, 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract
-
Cited by 122 (0 self)
- Add to MetaCart
of experience; and relationships of power. Meaning is constantly produced and reproduced through symbolic interaction between actors framed by this social structure, and, at the same time, acting to change it or to reproduce it. By meaning, I understand the symbolic identi cation by an actor of the purpose
Constraint Logic Programming for Local and Symbolic Model-checking
- CL 2000: Computational Logic, number 1861 in Lecture Notes in Articial Intelligence
, 2000
"... We propose a model checking scheme for a semantically complete fragment of CTL by combining techniques from constraint logic programming, a restricted form of constructive negation and tabled resolution. Our approach is symbolic in that it encodes and manipulates sets of states using constraints; it ..."
Abstract
-
Cited by 30 (0 self)
- Add to MetaCart
We propose a model checking scheme for a semantically complete fragment of CTL by combining techniques from constraint logic programming, a restricted form of constructive negation and tabled resolution. Our approach is symbolic in that it encodes and manipulates sets of states using constraints
Combining Symbolic Execution and Model Checking for Data Flow Testing
"... Abstract—Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher fault-detection ability over other structural testing techniques, practical DFT remains a significant challenge. This paper tackles this challenge by intro-ducing a hybrid DFT framework: (1) The core o ..."
Abstract
- Add to MetaCart
of our framework is based on dynamic symbolic execution (DSE), enhanced with a novel guided path search to improve testing performance; and (2) we systematically cast the DFT problem as reachability checking in software model checking to complement our DSE-based approach, yielding a practical hybrid DFT
Results 1 - 10
of
101
