Detection of Polluting Test Objectives for Dataflow Criteria

Martin, Thibault; Kosmatov, Nikolaï; Prévosto, Virgile; Lemerre, Matthieu

doi:10.1007/978-3-030-63461-2_18

Cited by 4 publications

(3 citation statements)

References 16 publications

(26 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recent work [1] extended the LUncov module of LTest to the detection of polluting test objectives for dataflow criteria using various static analysis techniques: dataflow analysis, value analysis and weakest precondition calculus. The reported experiments (on programs of up to 11000 loc) show that 64% of objectives were identified as polluting (non-inapplicable, infeasible or redundant).…”

Section: Using Labels For Detecting Polluting Test Objectives For Dat...mentioning

confidence: 99%

“…Finally, all recent extensions [8,9,19,1] , applications [35] and industrial adoption efforts [33,34] are now synthetised in Section 10.…”

Section: Introductionmentioning

confidence: 99%

“…1) computing the LC score of a given test suite TS , and (2) deriving a test suite achieving high LC score. We propose first a black-box approach, reusing standard automatic testing tools through a direct instrumentation of P .…”

mentioning

confidence: 99%

See 2 more Smart Citations