Testing Software and Systems - YenigÃ¼n (Springer Berlin Heidelberg, 2013)