Target-driven compositional concolic testing with function summary refinement for effective bug detection. - Kim, Yunho; Hong, Shin; Kim, Moonzoo (2019)