Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain | IEEE Conference Publication | IEEE Xplore