Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering 2010
DOI: 10.1145/1882291.1882330
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: Abstract-As

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
51
0
1

Year Published

2011
2011
2019
2019

Publication Types

Select...
7

Relationship

1
6

Authors

Journals

citations
Cited by 88 publications
(52 citation statements)
references
References 45 publications
0
51
0
1
Order By: Relevance
“…In their work, Xu et al [61] focus on the scenario where a program has evolved into a new version through code changes in development. They consider techniques as (i) the identification of coverage requirements for this new version, given an existing test suite; and (ii) the creation of new test cases that exercise these requirements.…”
Section: Search-based Vs Concolic Approachesmentioning
confidence: 99%
“…In their work, Xu et al [61] focus on the scenario where a program has evolved into a new version through code changes in development. They consider techniques as (i) the identification of coverage requirements for this new version, given an existing test suite; and (ii) the creation of new test cases that exercise these requirements.…”
Section: Search-based Vs Concolic Approachesmentioning
confidence: 99%
“…Test augmentation techniques use symbolic execution , concolic execution or genetic algorithms to derive test inputs that cover paths not executed yet. These approaches improve automatic test case generation techniques by taking advantage of the test cases manually written by developers, but suffer from the same limitations of classic automatic techniques, do not identify the setup actions necessary to execute the test cases and tend to generate a huge amount of test cases.…”
Section: Related Workmentioning
confidence: 99%
“…To address this problem, recently, researchers started working on test suite augmentation techniques that create new test cases for areas that have been affected by changes . Apiwattanapong et al and Santelices et al presented an approach to identify areas affected by code changes using program dependence analysis and symbolic execution, and provided test requirements for changed software.…”
Section: Related Workmentioning
confidence: 99%
“…Apiwattanapong et al and Santelices et al presented an approach to identify areas affected by code changes using program dependence analysis and symbolic execution, and provided test requirements for changed software. Xu et al presented an approach to generate test cases by utilizing the existing test cases and adapting a concolic test case generation technique. Taneja et al proposed an efficient test generation technique that uses dynamic symbolic execution, eXpress, by pruning irrelevant paths.…”
Section: Related Workmentioning
confidence: 99%