Lionel C. Briand. Software Verification - A Scalable, Model-Driven, Empirically Grounded Approach. In Aslak Tveito, Are Magnus Bruaset, Olav Lysne, editors, Simula Research Laboratory, by Thinking Constantly about it. pages 415-442, Springer, 2010. [doi]
Abstract is missing.