Filters








51,418 Hits in 3.8 sec

Augmented dynamic symbolic execution

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan De Halleux
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012  
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]

Konrad Jamrozik, Gordon Fraser, Nikolai Tillman, Jonathan de Halleux
2013 Lecture Notes in Computer Science  
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

Zhiyi Zhang
2018 International Journal of Performability Engineering  
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

Yunho Kim, Zhihong Zu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
2014 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation  
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

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid
2014 Proceedings of the 2014 International Symposium on Software Testing and Analysis - ISSTA 2014  
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]

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
2016 Lecture Notes in Computer Science  
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

Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel
2011 2011 IEEE 22nd International Symposium on Software Reliability Engineering  
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

Zhihong Xu, Yunho Kim, Moonzoo Kim, Gregg Rothermel, Myra B. Cohen
2010 Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10  
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]

Teresa Nicole Brooks
2018 arXiv   pre-print
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

Marcel Bohme
2012 2012 34th International Conference on Software Engineering (ICSE)  
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

Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
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

J. Prelgauskas, E. Bareisa
2012 Elektronika ir Elektrotechnika  
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]

Benjamin Danglot and Oscar Vera-Perez and Zhongxing Yu and Andy Zaidman and Martin Monperrus and Benoit Baudry
2018 arXiv   pre-print
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]

Aubrey Alston
2017 arXiv   pre-print
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]

Sudipta Kundu, Malay K. Ganai, Chao Wang
2010 Lecture Notes in Computer Science  
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