Linhai Ma, Peng Wu, Tsong Yueh Chen: Diversity driven adaptive test generation for concurrent data structures. Inf. Softw. Technol. 103: 162-173 (2018)