"Diversity driven adaptive test generation for concurrent data structures."

Linhai Ma, Peng Wu, Tsong Yueh Chen (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics