Test case design method targeting environmental fault tolerance for high availability clusters | IEEE Conference Publication | IEEE Xplore