Mining dataflow sensitive specifications - Zuo, Z. (2014)
10.1007/978-3-642-41202-8_4