Menzies, Pasareanu, 2015. Guest editorial: special multi-issue on selected topics in Automated Software Engineering 22.. https://doi.org/10.1007/s10515-015-0180-8