Pietro Braione, Giovanni Denaro, Mauro Pezzè. On the Integration of Software Testing and Formal Analysis. In Bertrand Meyer, Martin Nordio, editors, Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures. Volume 7007 of Lecture Notes in Computer Science, pages 158-193, Springer, 2010. [doi]
Abstract is missing.