Results 21 to 30 of about 949,278 (287)
Self-composition by Symbolic Execution [PDF]
, 2013 This work is licensed under a CC-BY Creative Commons Attribution 3.0 Unported license (http://creativecommons.org/licenses/by/3.0/)urn: urn:nbn:de:0030-drops-42770urn: urn:nbn:de:0030-drops-42770Self-composition is a logical formulation of non ...
Phan, Q-S, Phan, Quoc-Sang
core +1 more source
Directed Symbolic Execution [PDF]
, 2011 In this paper, we study the problem of automatically finding program executions that reach a particular target line. This problem arises in many debugging scenarios; for example, a developer may want to confirm that a bug reported by a static analysis tool on a particular line is a true positive.
Kin-Keung Ma +3 more
openaire +1 more source
Symbolic Execution for JavaScript [PDF]
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018 We present a framework for trustworthy symbolic execution of JavaScripts programs, whose aim is to assist developers in the testing of their code: the developer writes symbolic tests for which the framework provides concrete counter-models. We create the framework following a new, general methodology for designing compositional program analyses for ...
José Fragoso Santos +4 more
openaire +2 more sources
Symbolic execution for randomized programs
Proceedings of the ACM on Programming Languages, 2022 We propose a symbolic execution method for programs that can draw random samples. In contrast to existing work, our method can verify randomized programs with unknown inputs and can prove probabilistic properties that universally quantify over all possible inputs. Our technique augments standard symbolic execution with a new class of
Zachary Susag +3 more
openaire +2 more sources
Towards Effective Symbolic Execution [PDF]
Symbolic execution is an effective method to analyse an application's properties thoroughly, based on the idea of analysing every control flow path an application can take.
Nowack, Martin
core +5 more sources
Quantifying Information Leaks Using Reliability Analysis [PDF]
, 2014 acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic
d Amorim, M +8 more
core +1 more source
The Auspicious Couple: Symbolic Execution and WCET Analysis [PDF]
, 2013 We have recently shown that symbolic execution together with the implicit path enumeration technique can successfully be applied in the Worst-Case Execution Time (WCET) analysis of programs.
Kovacs, Laura, +11 more
core +1 more source
Abstract Model Counting: A Novel Approach for Quantification of Information Leaks [PDF]
, 2014 acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo theories, symbolic execution location: Kyoto, Japan numpages: 10acmid: 2590328 keywords: model checking, quantitative information flow, satisfiability modulo ...
Quoc-Sang Phan +4 more
core +1 more source
Symbolic types for lenient symbolic execution [PDF]
Proceedings of the ACM on Programming Languages, 2017 We present lambda_sym, a typed λ-calculus for lenient symbolic execution , where some language constructs do not recognize symbolic values. Its type system, however, ensures safe behavior of all symbolic values in a program.
Stephen Chang 0001 +2 more
openaire +1 more source
SEDGE: Symbolic Example Data Generation for Dataflow Programs [PDF]
, 2013 Exhaustive, automatic testing of dataflow (esp. map- reduce) programs has emerged as an important challenge. Past work demonstrated effective ways to generate small example data sets that exercise operators in the Pig platform, used to generate Hadoop ...
Kaituo Li +9 more
core +1 more source