Test generation and fault modeling for stress testing | IEEE Conference Publication | IEEE Xplore