Filters








24,010 Hits in 10.8 sec

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

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

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  
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.  ...  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 program is analyzed with symbolic execution to generate additional tests to augment the initial test suite provided to Daikon.  ... 
doi:10.1145/2610384.2610389 dblp:conf/issta/ZhangYRPK14 fatcat:idyoz6xgivarbfetvgcnavzrxa

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  
Test suite augmentation techniques generate test cases to cover code missed by existing regression test suites.  ...  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  ...  This second approach is known as concolic testing or dynamic symbolic execution, and has proven useful for generating test cases for C and Java programs.  ... 
doi:10.1109/icst.2014.39 dblp:conf/icst/KimXKCR14 fatcat:g7ppvh66kfgnxdlvklkr6mibya

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.  ...  This second approach is known as concolic testing or dynamic symbolic execution, and has proven useful for generating test cases for C and Java programs.  ... 
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  
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.  ...  Our preliminary work suggests that several factors influence the cost and effectiveness of test suite augmentation techniques.  ...  We thank Yuyang Liu for her valuable input on concolic testing of the object programs.  ... 
doi:10.1145/1882291.1882330 dblp:conf/sigsoft/XuKKRC10 fatcat:tekxrh7jxjc6xcegfhrrfz4zem

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.  ...  Automated unit test generation bears the promise of significantly reducing test cost and hence improving software quality.  ...  Several previous approaches have proposed using symbolic execution based incremental test generation for test suite augmentation.  ... 
doi:10.1145/2950290.2983937 dblp:conf/sigsoft/YoshidaTPGU16 fatcat:p7dyljtbpjezbd4lquzq72esya

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
The adoption of agile development approaches has put an increased emphasis on developer testing, resulting in software projects with strong test suites.  ...  These suites include a large number of test cases, in which developers embed knowledge about meaningful input data and expected properties in the form of oracles.  ...  They propose a mutation-oriented test case augmentation technique that is capable of generating test suites with better fault localization capabilities.  ... 
arXiv:1705.10692v2 fatcat:apdbtwcb7vcgni2mzcmma2mboi

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).  ...  when a test suite succeeds.  ...  Using dynamic program dependencies, symbolic execution, and constraint solving, test cases are automatically generated that witness "adjacent" partitions.  ... 
doi:10.1109/icse.2012.6227046 dblp:conf/icse/Bohme12 fatcat:u3nicyjs4be5pe44b7yv5gsbdm

A Snowballing Literature Study on Test Amplification

Benjamin Danglot, Oscar Vera-Perez, Zhongxing Yu, Andy Zaidman, Martin Monperrus, Benoit Baudry
2019 Journal of Systems and Software  
The adoption of agile approaches has put an increased emphasis on testing, resulting in extensive test suites.  ...  This article surveys works that exploit this knowledge to enhance manually written tests with respect to an engineering goal (e.g., improve coverage or refine fault localization).  ...  Compared with the original test suite, the augmented test suite has comprehensive assertions.  ... 
doi:10.1016/j.jss.2019.110398 fatcat:mngnu2lzvbg2vbtrnjvfwspogm

Automatic structural testing with abstraction refinement and coarsening

Mauro Baluda
2011 Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11  
White box testing, also referred to as structural testing, can be used to assess the validity of test suites with respect to the implementation.  ...  My research targets the problem of increasing code coverage by automatically generating test cases that augment the coverage of the code or proving the infeasibility of uncovered elements, and thus eliminating  ...  The problem of augmenting test suites and improving code coverage is attracting a lot of interest.  ... 
doi:10.1145/2025113.2025173 dblp:conf/sigsoft/Baluda11 fatcat:iwr7xm4hwzer7nuysqbxhp752q

High-Coverage Symbolic Patch Testing [chapter]

Paul Dan Marinescu, Cristian Cadar
2012 Lecture Notes in Computer Science  
In this paper, we propose an automatic technique based on symbolic execution, that aims to increase the quality of patches by providing developers with an automated mechanism for generating a set of comprehensive  ...  Software patches are often poorly tested, with many of them containing faults that affect the correct operation of the software.  ...  Xu and Rothermel [30] introduced directed test suite augmentation, in which existing test suites are combined with dynamic symbolic execution to execute uncovered branches in a patch.  ... 
doi:10.1007/978-3-642-31759-0_2 fatcat:zy25sozzpnagbeibdy7o5qssxq

Test generation to expose changes in evolving programs

Dawei Qi, Abhik Roychoudhury, Zhenkai Liang
2010 Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10  
Given a change c, we use dynamic symbolic execution to generate a test input t, which stresses the change.  ...  For this purpose, it is important to generate test cases that can stress the effect of a given change. In this paper, we propose an automatic test generation solution to this problem.  ...  We now compare our work with these methods. The technique in [13] focuses on generating criteria for test-suite augmentation.  ... 
doi:10.1145/1858996.1859083 dblp:conf/kbse/QiRL10 fatcat:jvpz6kann5dvrctiopoojn25zi

Directed test suite augmentation: an empirical investigation

Zhihong Xu, Yunho Kim, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
2014 Software testing, verification & reliability  
Test suite augmentation Let P be a program, let P 0 be a modified version of P and let T be a test suite for P . Regression testing is concerned with validating P 0 .  ...  Three of these papers [4, 6, 29] present an approach that combines dependence analysis and symbolic execution to identify chains of data and control dependencies, which, if tested, are likely to exercise  ...  [28] present an approach for using dynamic symbolic execution to prune irrelevant execution paths for regression testing.  ... 
doi:10.1002/stvr.1562 fatcat:6xnvysuj2bbdvgwp7tz2hezfxi
« Previous Showing results 1 — 15 out of 24,010 results