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
Generating Test Suites with Augmented Dynamic Symbolic Execution
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
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
Augmented dynamic symbolic execution
2012
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
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 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
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.
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
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.
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
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. ...
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
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.
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
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. ...
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]
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
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
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). ...
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
2019
Journal of Systems and Software
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.
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
2011
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11
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.
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]
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 2014; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '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 2010; you can also visit the original URL.
The file type is application/pdf.
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
2014
Software testing, verification & reliability
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.
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