Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 1 of 1 results for the Author - scott hissam , Publish Year - 2005 , Type - White Paper

White Paper | December 2005 - White Paper Precise Buffer Overflow Detection via Model Checking By Sagar Chaki, Scott Hissam

In this paper, the authors present an automated overflow detection technique based on model checking and iterative refinement.