Filters








118,563 Hits in 7.3 sec

Automatic Mutation Test Case Generation via Dynamic Symbolic Execution

Mike Papadakis, Nicos Malevris
2010 2010 IEEE 21st International Symposium on Software Reliability Engineering  
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

TheAnh Do, Siau-Cheng Khoo, Alvis Cheuk Ming Fong, Russel Pears, Tho Thanh Quan
2015 Information and Software Technology  
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

Pranali Mahadik, Debnath Bhattacharyya, Hye-jin Kim
2016 International Journal of Software Engineering and Its Applications  
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

Mike Papadakis, Nicos Malevris
2009 Professional Practice in Artificial Intelligence  
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

Enze Ma, Xiufeng Fu, Xi Wang
2022 Electronics  
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]

Ashutosh Gupta, Andrey Rybalchenko
2009 Lecture Notes in Computer Science  
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

Junaid Haroon Siddiqui, Sarfraz Khurshid
2012 SIGPLAN notices  
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

Junaid Haroon Siddiqui, Sarfraz Khurshid
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
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

Sarmad Makhdoom, Muhammad Adeel Khan, Junaid Haroon Siddiqui
2014 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14  
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]

Mickaël Delahaye, Nikolai Kosmatov
2013 Lecture Notes in Computer Science  
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

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.  ...  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]

George Candea, Patrice Godefroid
2019 Lecture Notes in Computer Science  
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]

Ioannis T. Kassios, Peter Müller, Malte Schwerhoff
2012 Lecture Notes in Computer Science  
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

Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja Vos
2011 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)  
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

Zhangwei Xie, Zhanqi Cui, Jiaming Zhang, Xiulei Liu, Liwei Zheng
2020 IEEE Access  
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