Software Engineering Institute

Roger Dannenberg (School of Computer Science, Carnegie Mellon University)

School of Computer Science, Carnegie Mellon University

All

As-If Infinitely Ranged Integer Model

November 1, 2010 • Presentation

By Roger Dannenberg (School of Computer Science, Carnegie Mellon University) , Thomas Plum (Plum Hall, Inc.) , Will Dormann , David Keaton , Robert C. Seacord , David Svoboda , Alex Volkovitsky , Timothy Wilson

As-If Infinitely Ranged Integer Model, Second Edition

April 1, 2010 • Technical Note

By Roger Dannenberg (School of Computer Science, Carnegie Mellon University) , Will Dormann , David Keaton , Thomas Plum (Plum Hall, Inc.) , Robert C. Seacord , David Svoboda , Alex Volkovitsky , Timothy Wilson

Instrumented Fuzz Testing Using AIR Integers (Whitepaper)

February 1, 2010 • White Paper

By Roger Dannenberg (School of Computer Science, Carnegie Mellon University) , Will Dormann , David Keaton , Robert C. Seacord , Timothy Wilson , Thomas Plum (Plum Hall, Inc.)