Testability improvements based on the combination of analytical and evolutionary approaches at RT level | IEEE Conference Publication | IEEE Xplore