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.
Filters
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
2010
2010 IEEE 21st International Symposium on Software Reliability Engineering
Preserved Fulltext
The proposed approach conjoins program transformation and dynamic symbolic execution techniques in order to successfully automate the test generation process. ...
Dynamic symbolic execution appears to be a promising approach to this matter as it has been shown to be quite powerful in producing the sought tests. ...
ACKNOWLEDGMENT This work is supported by the Basic Research Funding (PEVE 2010) program of the Athens University of Economics and Business. ...
doi:10.1109/issre.2010.38
dblp:conf/issre/PapadakisM10
fatcat:mybu3dbbljgqbb6ymp3jbjnzne
Goal-oriented dynamic test generation
2015
Information and Software Technology
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.
Dynamic Symbolic Execution-Based Test Generation SEBO uses CREST [19] -an extensible symbolic execution engine -to perform test input generation. ...
CREST [19] is an automated test input generation tool for C, based on dynamic
symbolic execution. ...
doi:10.1016/j.infsof.2015.05.007
fatcat:ebdngmeyijdmbdo4e6kzqh4xte
Techniques for Automated Test Cases Generation: A Review
2016
International Journal of Software Engineering and Its Applications
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 2018; you can also visit the original URL.
The file type is application/pdf.
The different techniques for automatic generation of test cases find small set of test cases reduce human efforts as well as cost of software testing and produce most efficient and effective testing of ...
Generation of test cases is challenging part of software testing phase. Test cases must have ability to cover more test objective features i.e., achieve more test coverage. ...
Generation Static test data generation is done without executing program it analyze the program statically by using symbolic execution technique. it compute input by considering different constraints. ...
doi:10.14257/ijseia.2016.10.12.02
fatcat:p3ov2z7vozbkthmfbp45py65uq
Improving Evolutionary Test Data Generation with the Aid of Symbolic Execution
2009
Professional Practice in Artificial Intelligence
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 2022; you can also visit the original URL.
The file type is application/pdf.
To this effect, a strategy that uses symbolic execution and dynamic domain reduction in order to enhance the initial population and approximately prune the search space considered by evolutionary based ...
On the contrary, more traditional methods that automate the test data generation usually employ symbolic execution by incorporating a path generation phase and constraint solvers to produce the sought ...
In order to simulate and observe the behavior of GAs through the guidance from the symbolic execution process we initialized the population using random testing and symbolic execution based only on the ...
dblp:conf/ifip12/PapadakisM09
fatcat:l37upulxlfbwpi623djyxmtqna
Scalable Path Search for Automated Test Case Generation
2022
Electronics
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 2022; you can also visit the original URL.
The file type is application/pdf.
This approach combines dataflow analysis and dynamic symbolic execution together, and more importantly, it efficiently searches the program path space for potential faults based on the tabu search strategy ...
The scalable and efficient path search strategy facilitates bug finding with much fewer test cases generated. ...
That method is based on the observation that code can generate its own test cases at run-time by a combination of symbolic and concrete execution. ...
doi:10.3390/electronics11050727
fatcat:br3u7qlhindalpvx2wf5usczqq
InvGen: An Efficient Invariant Generator
[chapter]
2009
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.
InvGen's unique feature is in its use of dynamic analysis to make invariant generation order of magnitude more efficient. 1 See [5] for the syntax of transition relations. ...
In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. ...
We observed that for these programs, dynamic analysis either improves or at least does not decrease the efficiency of invariant generation. ...
doi:10.1007/978-3-642-02658-4_48
fatcat:efvq2tef6rgdvjzvsezrbq4tli
Scaling symbolic execution using ranged analysis
2012
SIGPLAN notices
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 2013; you can also visit the original URL.
The file type is application/pdf.
This paper introduces a novel approach to scale symbolic execution-a program analysis technique for systematic exploration of bounded execution paths-for test input generation. ...
We present ranged symbolic execution, which embodies this insight and uses two test inputs to define a range, i.e., the beginning and end, for a symbolic execution run. ...
This material is based upon work partially supported by the Fulbright program, the National Science Foundation under Grant No. CCF-0845628, and AFOSR grant FA9550-09-1-0351. ...
doi:10.1145/2398857.2384654
fatcat:36xmf3ibxjanfpu3fie7nwnk3a
Scaling symbolic execution using ranged analysis
2012
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12
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 2013; you can also visit the original URL.
The file type is application/pdf.
This paper introduces a novel approach to scale symbolic execution-a program analysis technique for systematic exploration of bounded execution paths-for test input generation. ...
We present ranged symbolic execution, which embodies this insight and uses two test inputs to define a range, i.e., the beginning and end, for a symbolic execution run. ...
This material is based upon work partially supported by the Fulbright program, the National Science Foundation under Grant No. CCF-0845628, and AFOSR grant FA9550-09-1-0351. ...
doi:10.1145/2384616.2384654
dblp:conf/oopsla/SiddiquiK12
fatcat:tbsembqssrgh3ad2iva6mncwqa
Incremental symbolic execution for automated test suite maintenance
2014
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14
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 2015; you can also visit the original URL.
The file type is application/pdf.
In this work, we aim to efficiently apply symbolic execution in increments based on versions of code. ...
Our experiments show that incremental symbolic execution based on dynamic analysis is an order of magnitude faster than running complete standard symbolic execution on the new version of code. ...
In our technique, we first symbolically execute the base version of the program, which results in generation of a comprehensive test suite by solving the path conditions. ...
doi:10.1145/2642937.2642961
dblp:conf/kbse/MakhdoomKS14
fatcat:6mvcgrhwcvbn5eyt2eg4jwz6tu
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools
[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 2016; you can also visit the original URL.
The file type is application/pdf.
This paper presents a novel technique for handling a precondition in dynamic symbolic execution (DSE) testing tools. It delays precondition constraints until the end of the program path evaluation. ...
It has also proven useful for combinations of static and dynamic analysis. ...
It is based on dynamic symbolic execution (DSE), a technique that combines concrete execution and symbolic execution of the program under test. ...
doi:10.1007/978-3-642-40787-1_20
fatcat:xxpdlgrjknhj5hp2u7cplcpl7i
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. ...
The instrumented code is executed symbolically to generate new test cases that are fed back to Daikon to help further refine the set of candidate invariants. ...
the new tests generated by symbolic execution at each iteration of our technique, and 3) the updated assertions based on the program invariants generated by Daikon at each iteration of iDiscovery. ...
doi:10.1145/2610384.2610389
dblp:conf/issta/ZhangYRPK14
fatcat:idyoz6xgivarbfetvgcnavzrxa
Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances
[chapter]
2019
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 2020; you can also visit the original URL.
The file type is application/pdf.
In this article, we provide an overview of automated test generation for software, and then discuss recent developments that have had significant impact on real-life software. ...
The automation of software testing promises to delegate to machines what is otherwise the most labor-intensive and expensive part of software development. ...
We discussed how test generation using dynamic symbolic execution can be more precise than static test generation and other forms of test generation such as random, taint-based and coverage-heuristic-based ...
doi:10.1007/978-3-319-91908-9_24
fatcat:5udblyuumbcgndtoglrytm5c6m
Comparing Verification Condition Generation with Symbolic Execution: An Experience Report
[chapter]
2012
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 2018; you can also visit the original URL.
The file type is application/pdf.
There are two dominant approaches for the construction of automatic program verifiers, Verification Condition Generation (VCG) and Symbolic Execution (SE). ...
It requires only a small fraction of the quantifier instantiations that are performed in the VCG-based verification. ...
Symbolic Execution Symbolic execution [14] verifies a program by simulating an execution with variables that do not take concrete values, but whole expressions (known as symbolic values). ...
doi:10.1007/978-3-642-27705-4_16
fatcat:kelqzpsu3rdsfjubcr25jsvhmu
Symbolic search-based testing
2011
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
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 2013; you can also visit the original URL.
The file type is application/pdf.
On average, the local search requires 23.41% and the global search 7.78% fewer fitness evaluations when using a symbolic execution based fitness function generated by the algorithm. ...
We present an algorithm for constructing fitness functions that improve the efficiency of search-based testing when trying to generate branch adequate test data. ...
The introduction of Dynamic Symbolic Execution creates a significant step forward in the development of previous constraint based approaches to automated test data generation, on which DSE builds. ...
doi:10.1109/ase.2011.6100119
dblp:conf/kbse/BaarsHHLMTV11
fatcat:paymetsglbcllezsfhkndszjme
CSEFuzz: Fuzz Testing based on Symbolic Execution
2020
IEEE Access
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.
First, CSEFuzz generates candidate test cases by symbolic execution and collects coverage information of the test cases. ...
To address this issue, we propose CSEFuzz, a fuzz testing approach based on symbolic execution for defect detection. ...
questions.RQ 1: Can the test cases generated by symbolic execution help improve the efficiency of fuzz testing? ...
doi:10.1109/access.2020.3030798
fatcat:pjpezjna65butk7e75csfsiekq
« Previous
Showing results 1 — 15 out of 118,563 results