2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) 2013
DOI: 10.1109/issre.2013.6698890
|View full text |Cite
|
Sign up to set email alerts
|

Search-based data-flow test generation

Abstract: Abstract-Coverage criteria based on data-flow have long been discussed in the literature, yet to date they are still of surprising little practical relevance. This is in part because 1) manually writing a unit test for a data-flow aspect is more challenging than writing a unit test that simply covers a branch or statement, 2) there is a lack of tools to support data-flow testing, and 3) there is a lack of empirical evidence on how well data-flow testing scales in practice. To overcome these problems, we presen… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
32
1
1

Year Published

2014
2014
2022
2022

Publication Types

Select...
3
2
1

Relationship

2
4

Authors

Journals

citations
Cited by 46 publications
(34 citation statements)
references
References 29 publications
0
32
1
1
Order By: Relevance
“…This result indicates that dynamic data flow analysis selects better test objectives than static data flow analysis. Counter-intuitively the data in the table indicate that EVOSUITE-branch slightly outperforms EVOSUITE-data flow, differently from the results we obtained in previous experiments [VMGF13]. This may be caused by the fact that this benchmark includes complex classes that are difficult to analyze with static analysis.…”
Section: Resultscontrasting
confidence: 65%
See 4 more Smart Citations
“…This result indicates that dynamic data flow analysis selects better test objectives than static data flow analysis. Counter-intuitively the data in the table indicate that EVOSUITE-branch slightly outperforms EVOSUITE-data flow, differently from the results we obtained in previous experiments [VMGF13]. This may be caused by the fact that this benchmark includes complex classes that are difficult to analyze with static analysis.…”
Section: Resultscontrasting
confidence: 65%
“…and Vivanti et al [VMGF13] defined approaches that support the automated generation of tests cases for meeting data flow criteria for testing classes. However, these approaches implement many approximations in the data flow analysis for increasing the scalability of the techniques, of the type we discussed in Section 2.3, potentially reducing the effectiveness of the approaches.…”
Section: Intra-class Data Flow Testingmentioning
confidence: 99%
See 3 more Smart Citations