Extending Data Flow Coverage to Test Constraint Refinements.

Alexander Kolchin Stepan Potiyenko

Published in: IFM (2022)

Keyphrases

data flow
database machine
control flow
object oriented software
test suite
digital signal processing
set of test cases
linear constraints
systolic array
open source
bottle neck
training set
test cases
code coverage