Extracting static and dynamic structural information from java concurrent programs for coverage testingRafael R Prado, Paulo SL Souza, George GM Dourado, Simone RS Souza, Julio C Estrella, Sarita M Bruschi, Joao LourencoPosted Jan 1, 2015 Link