A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Augmented dynamic symbolic execution
2012
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
Preserved Fulltext
In this paper, we present augmented dynamic symbolic execution, which aims to produce representative test sets by augmenting path conditions with additional conditions that enforce target criteria such ...
Dynamic symbolic execution (DSE) can efficiently explore all simple paths through a program, reliably determining whether there are any program crashes or violations of assertions or code contracts. ...
AUGMENTED DYNAMIC SYMBOLIC EXECUTION
Generating Test Suites with DSE DSE executes a program using concrete values, and during this execution it keeps track of the symbolic state determined by expressions ...
doi:10.1145/2351676.2351716
dblp:conf/kbse/JamrozikFTH12
fatcat:jpe2abidlzdbzipqfsr55gkhwa
Generating Test Suites with Augmented Dynamic Symbolic Execution
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present augmented dynamic symbolic execution, which aims to produce representative test sets with DSE by augmenting path conditions with additional conditions that enforce target criteria ...
Dynamic symbolic execution (DSE) can efficiently explore all simple paths through a program, exercising automated oracles such as assertions or code contracts. ...
i f ( x >= 3 && x <= 7 ) { 3 i f ( y − x <= 0 | | y >= 4 ) { 4 // b l o c k A
Augmented Dynamic Symbolic Execution
Generating Test Suites with DSE Dynamic symbolic execution first executes a program ...
doi:10.1007/978-3-642-38916-0_9
fatcat:pzijqtsdubev5mh5u6g7lvrd2m
Test Suite Augmentation via Integrating Black- and White-Box Testing Techniques
2018
International Journal of Performability Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper presents a research proposal on test suite augmentation via integrating black-and white-box testing techniques. There are two directions of our test suite augmentation. ...
Test suite augmentation is an important technique for quality assurance of evolved software. ...
Jamrozik et al. proposed an approach to generate test suites with augmented dynamic symbolic execution [15] . ...
doi:10.23940/ijpe.18.06.p24.13241329
fatcat:ahhf5m2d5bc6hm4pfqh6ehbfwe
Hybrid Directed Test Suite Augmentation: An Interleaving Framework
2014
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we present a framework for hybrid test suite augmentation that allows test case generation algorithms to be interleaved dynamically and that can easily incorporate new algorithms, interleaving ...
Various augmentation techniques have been proposed, utilizing several test case generation algorithms. ...
a program while carrying along a symbolic state and performing symbolic execution of the path being executed. ...
doi:10.1109/icst.2014.39
dblp:conf/icst/KimXKCR14
fatcat:g7ppvh66kfgnxdlvklkr6mibya
Feedback-driven dynamic invariant discovery
2014
Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this work, we introduce iDiscovery, a technique which leverages symbolic execution to improve the quality of dynamically discovered invariants computed by Daikon. ...
To mitigate the cost of symbolic execution, we present optimizations to prune the symbolic state space and to reduce the complexity of the generated path conditions. ...
overall symbolic execution cost for improving dynamic invariant discovery. ...
doi:10.1145/2610384.2610389
dblp:conf/issta/ZhangYRPK14
fatcat:idyoz6xgivarbfetvgcnavzrxa
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The framework provides components such as a taint engine, a dynamic symbolic execution engine, and integration with Z3 for constraint solving. ...
We present a binary analysis framework based on symbolic execution with the distinguishing capability to execute stepwise forward and also backward through the execution tree. ...
Symbolic execution engine In order to perform various types of analysis and testing using dynamic symbolic execution, the program has to exercise a large set of paths through its execution tree. ...
doi:10.1007/978-3-319-48989-6_50
fatcat:afippptdxrcdxpwqfa6h43wwkq
A Hybrid Directed Test Suite Augmentation Technique
2011
2011 IEEE 22nd International Symposium on Software Reliability Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a hybrid test suite augmentation technique that combines these two test case generation algorithms. ...
Test suite augmentation techniques are used in regression testing to identify code elements affected by changes and to generate test cases to cover those elements. ...
[29] presented an approach for using dynamic symbolic execution to reveal execution paths that need to be retested, in which existing test cases can be utilized.
B. ...
doi:10.1109/issre.2011.21
dblp:conf/issre/XuKKR11
fatcat:vqgaolbw7rgr5bulvi2uhj3ikm
Directed test suite augmentation
2010
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Our preliminary work suggests that several factors influence the cost and effectiveness of test suite augmentation techniques. ...
Test suite augmentation techniques are used in regression testing to identify code elements affected by changes and to generate test cases to cover those elements. ...
Concolic Test Suite Augmentation Concolic testing (concolic execution) [7, 18, 34] concretely executes a program while carrying along a symbolic state and simultaneously performing symbolic execution ...
doi:10.1145/1882291.1882330
dblp:conf/sigsoft/XuKKRC10
fatcat:tekxrh7jxjc6xcegfhrrfz4zem
Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This technique uses dynamic symbolic execution to drive path exploration by giving it the task of augmenting input and feeding it back to the fuzzer. ...
Dynamic Symbolic Execution A more powerful dynamic analysis technique that is implemented in many automated vulnerability detection systems, is dynamic symbolic execution. ...
arXiv:1702.06162v4
fatcat:3rhzbmq6yve2jkcx2mv73pjnre
Software regression as change of input partitioning
2012
2012 34th International Conference on Software Engineering (ICSE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
When the program is changed, test cases shall be augmented that witness changed output for the same input (test suite augmentation). ...
Using dynamic program dependencies, symbolic execution, and constraint solving, test cases are automatically generated that witness "adjacent" partitions. ...
[4] introduce dynamic symbolic execution and show that if a concrete test case exercises a certain path, then every test case satisfying the same path condition exercises that path. Qi et al. ...
doi:10.1109/icse.2012.6227046
dblp:conf/icse/Bohme12
fatcat:u3nicyjs4be5pe44b7yv5gsbdm
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs
2016
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
To address this challenge, in previous work, we proposed a novel technique for automated and fine-grained incremental generation of unit tests through minimal augmentation of an existing test suite. ...
Several previous approaches have proposed using symbolic execution based incremental test generation for test suite augmentation. ...
Incremental symbolic execution. ...
doi:10.1145/2950290.2983937
dblp:conf/sigsoft/YoshidaTPGU16
fatcat:p7dyljtbpjezbd4lquzq72esya
Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution
2012
Elektronika ir Elektrotechnika
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Dynamic symbolic execution Static symbolic execution was first proposed by J. C. King [6] . ...
This is why dynamic symbolic execution (DSE) was proposed. DSE combines concrete and symbolic execution by providing constraint solver runtime values. ...
doi:10.5755/j01.eee.122.6.1814
fatcat:yzw4blohyfejffqchgfz736aka
A Snowballing Literature Study on Test Amplification
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Along this double execution, for every conditional statement executed by the concrete execution, the symbolic execution generates symbolic constraints over the input variables. ...
modification
Concolic execution
Symbolic execution
Search based heuristics
Target language
Venue
Publication year
Last name of first author
[22]
augmentation •
•
•
C
ICSE
2003
Harder ...
arXiv:1705.10692v2
fatcat:apdbtwcb7vcgni2mzcmma2mboi
Concolic Execution as a General Method of Determining Local Malware Signatures
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Our work, however, only shows that existing tools (at the time of this report) for concolic execution have severe limitations which prevent the realization of this strategy. ...
This work serves as a preliminary exploration of the use of concolic execution as a general-case technique for reverse-engineering malware signature database contents: indeed, the existence of a practical ...
Instead, execution follows a symbolic path, the symbolic variables being augmented according to operations performed in basic blocks and required state to perform the necessary branches along the path. ...
arXiv:1705.05514v1
fatcat:5nzvap2mqfb25axtbbpjkdt6uu
Contessa: Concurrency Testing Augmented with Symbolic Analysis
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete execution) with symbolic analysis in a scalable and efficient manner to explore both ...
Dynamic model checking [1] [2] [3] , for a given test input performs systematic execution of a program under different thread interleavings. ...
Symbolic Analysis. All linearizations of a CTP may not correspond to actual executions of the program. ...
doi:10.1007/978-3-642-14295-6_13
fatcat:uqungfbxpvd4vaifzrmv56z3hi
« Previous
Showing results 1 — 15 out of 51,418 results