VP_TT: A value propagation based equivalence checker for testability transformations
Abstract Testability transformation (TT) is a source‐to‐source programme transformation that aims to improve the ability of a given test generation method to generate test data for the original programme. Herein, the correctness of testability transformations is shown. Translation validation is the...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2021-02-01
|
| Series: | IET Software |
| Online Access: | https://doi.org/10.1049/sfw2.12008 |