Matches in SemOpenAlex for { <https://semopenalex.org/work/W2364496964> ?p ?o ?g. }
- W2364496964 endingPage "426" @default.
- W2364496964 startingPage "403" @default.
- W2364496964 abstract "Structural coverage metrics, and in particular branch coverage, are popular approaches to measure the thoroughness of test suites. Unfortunately, the presence of elements that are not executable in the program under test and the difficulty of generating test cases for rare conditions impact on the effectiveness of the coverage obtained with current approaches. In this paper, we propose a new approach that combines symbolic execution and symbolic reachability analysis to improve the effectiveness of branch testing. Our approach embraces the ideal definition of branch coverage as the percentage of executable branches traversed with the test suite, and proposes a new bidirectional symbolic analysis for both testing rare execution conditions and eliminating infeasible branches from the set of test objectives. The approach is centered on a model of the analyzed execution space. The model identifies the frontier between symbolic execution and symbolic reachability analysis, to guide the alternation and the progress of bidirectional analysis towards the coverage targets. The experimental results presented in the paper indicate that the proposed approach can both find test inputs that exercise rare execution conditions that are not identified with state-of-the-art approaches and eliminate many infeasible branches from the coverage measurement. It can thus produce a modified branch coverage metric that indicates the amount of feasible branches covered during testing, and helps team leaders and developers in estimating the amount of not-yet-covered feasible branches. The approach proposed in this paper suffers less than the other approaches from particular cases that may trap the analysis in unbounded loops." @default.
- W2364496964 created "2016-06-24" @default.
- W2364496964 creator A5038269238 @default.
- W2364496964 creator A5066540482 @default.
- W2364496964 creator A5078854742 @default.
- W2364496964 date "2016-05-01" @default.
- W2364496964 modified "2023-10-16" @default.
- W2364496964 title "Bidirectional Symbolic Analysis for Effective Branch Testing" @default.
- W2364496964 cites W12427088 @default.
- W2364496964 cites W1506554338 @default.
- W2364496964 cites W1519981183 @default.
- W2364496964 cites W1566132409 @default.
- W2364496964 cites W1577404745 @default.
- W2364496964 cites W1586497944 @default.
- W2364496964 cites W1777881387 @default.
- W2364496964 cites W1788659055 @default.
- W2364496964 cites W1869358490 @default.
- W2364496964 cites W195774605 @default.
- W2364496964 cites W1965194038 @default.
- W2364496964 cites W1966030793 @default.
- W2364496964 cites W1967471703 @default.
- W2364496964 cites W1974091547 @default.
- W2364496964 cites W1974394819 @default.
- W2364496964 cites W1975191777 @default.
- W2364496964 cites W1975833562 @default.
- W2364496964 cites W1976727279 @default.
- W2364496964 cites W1981782233 @default.
- W2364496964 cites W1982205631 @default.
- W2364496964 cites W1984842289 @default.
- W2364496964 cites W1985335248 @default.
- W2364496964 cites W1986447758 @default.
- W2364496964 cites W1988441831 @default.
- W2364496964 cites W1989218486 @default.
- W2364496964 cites W1990880047 @default.
- W2364496964 cites W1993760289 @default.
- W2364496964 cites W1997133651 @default.
- W2364496964 cites W2004071059 @default.
- W2364496964 cites W2009489720 @default.
- W2364496964 cites W2018017297 @default.
- W2364496964 cites W2020703884 @default.
- W2364496964 cites W2024442685 @default.
- W2364496964 cites W2032720115 @default.
- W2364496964 cites W2032782696 @default.
- W2364496964 cites W2040434142 @default.
- W2364496964 cites W2040728469 @default.
- W2364496964 cites W2041470132 @default.
- W2364496964 cites W2050853996 @default.
- W2364496964 cites W2055489377 @default.
- W2364496964 cites W2059942119 @default.
- W2364496964 cites W2060476709 @default.
- W2364496964 cites W2063647782 @default.
- W2364496964 cites W2067544274 @default.
- W2364496964 cites W2074595759 @default.
- W2364496964 cites W2074888021 @default.
- W2364496964 cites W2075485888 @default.
- W2364496964 cites W2076880263 @default.
- W2364496964 cites W2080573945 @default.
- W2364496964 cites W208073541 @default.
- W2364496964 cites W2082172430 @default.
- W2364496964 cites W2082274331 @default.
- W2364496964 cites W2088157410 @default.
- W2364496964 cites W2090754600 @default.
- W2364496964 cites W2095551048 @default.
- W2364496964 cites W2097284057 @default.
- W2364496964 cites W2101512909 @default.
- W2364496964 cites W2101629181 @default.
- W2364496964 cites W2103275664 @default.
- W2364496964 cites W2104993088 @default.
- W2364496964 cites W2105357036 @default.
- W2364496964 cites W2105864475 @default.
- W2364496964 cites W2106072155 @default.
- W2364496964 cites W2107794009 @default.
- W2364496964 cites W2109276114 @default.
- W2364496964 cites W2113531724 @default.
- W2364496964 cites W2114775156 @default.
- W2364496964 cites W2114869486 @default.
- W2364496964 cites W2115273016 @default.
- W2364496964 cites W2116622216 @default.
- W2364496964 cites W2120210839 @default.
- W2364496964 cites W2120713211 @default.
- W2364496964 cites W2120995957 @default.
- W2364496964 cites W2122128531 @default.
- W2364496964 cites W2122598528 @default.
- W2364496964 cites W2123801862 @default.
- W2364496964 cites W2126752493 @default.
- W2364496964 cites W2128705399 @default.
- W2364496964 cites W2132897303 @default.
- W2364496964 cites W2134875273 @default.
- W2364496964 cites W2137530017 @default.
- W2364496964 cites W2144123593 @default.
- W2364496964 cites W2144517099 @default.
- W2364496964 cites W2146641295 @default.
- W2364496964 cites W2147826933 @default.
- W2364496964 cites W2147832077 @default.
- W2364496964 cites W2157083801 @default.
- W2364496964 cites W2158248180 @default.
- W2364496964 cites W2159586681 @default.
- W2364496964 cites W2159899121 @default.