Christoph Csallner, Yannis Smaragdakis. Check n crash: combining static checking and testing. In Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh, editors, 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA. pages 422-431, ACM, 2005. [doi]
Abstract is missing.