VP_TT: A value propagation based equivalence checker for testability transformations.

Ramanuj Chouksey Sachin Kumar Maddheshiya Chandan Karfa

Published in: IET Softw. (2021)

Keyphrases

database
real time
neural network
knowledge base
databases
decision making
multiscale
digital libraries
image analysis
multiresolution
probability distribution
software engineering
test data generation
wave propagation
quasi invariant