Input-Domain Software Testing for Failure Probability Estimation of Safety-Critical Applications in Consideration of Past Input Sequence. - Hee Eun Kim; Han Seong Son; Bo Gyung Kim; Jaehyun Cho; Sung Min Shin; Hyun Gook Kang (IEEE Access, 2018)