Using model checking to find serious file system errors von JUNFENG YANG, TWOHEY, Paul, ENGLER, Dawson, MUSUVATHI, Madanlal

Volltext

RacerX: Effective, static detection of race conditions and deadlocks von ENGLER, Dawson, ASHCRAFT, Ken

Volltext

Static analysis versus software model checking for bug finding von ENGLER, Dawson, MUSUVATHI, Madanlal

Volltext

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations von Kremenek, Ted, Engler, Dawson

Volltext

RWset: Attacking Path Explosion in Constraint-Based Test Generation von Boonstoppel, Peter, Cadar, Cristian, Engler, Dawson

Volltext

EXE: Automatically Generating Inputs of Death von Cadar, Cristian, Ganesh, Vijay, Pawlowski, Peter M., Dill, David L., Engler, Dawson R.

Volltext

How to Build Static Checking Systems Using Orders of Magnitude Less Code von Brown, Fraser, Nötzli, Andres, Engler, Dawson

Volltext

C and tcc: a language and compiler for dynamic code generation von Poletto, Massimiliano, Hsieh, Wilson C., Engler, Dawson R., Kaashoek, M. Frans

Volltext

Finding and Preventing Bugs in JavaScript Bindings von Brown, Fraser, Narayan, Shravan, Wahby, Riad S., Engler, Dawson, Jhala, Ranjit, Stefan, Deian

Volltext

Bugs as deviant behavior : A general approach to inferring errors in systems code von ENGLER, Dawson, YU CHEN, David, HALLEM, Seth, CHOU, Andy, CHELF, Benjamin

Volltext

An empirical study of operating systems errors von CHOU, Andy, JUNFENG YANG, CHELF, Benjamin, HALLEM, Seth, ENGLER, Dawson

Volltext

Fast and flexible application-level networking on exokernel systems von GANGER, Gregory R, ENGLER, Dawson R, KAASHOEK, M. Frans, BRICENO, Héctor M, HUNT, Russell, PINCKNEY, Thomas

Volltext

Execution Generated Test Cases: How to Make Systems Code Crash Itself von Cadar, Cristian, Engler, Dawson

Volltext

Interface compilation: steps toward compiling program interfaces as languages von Engler, D.R.

Volltext

Practical, Low-Effort Equivalence Verification of Real Code von Ramos, David A., Engler, Dawson R.

Volltext

CMC: a pragmatic approach to model checking real code von Musuvathi, Madanlal, Park, David Y. W., Chou, Andy, Engler, Dawson R., Dill, David L.

Volltext

Session details: Probing the black box von Engler, Dawson

Volltext

Expression Reduction from Programs in a Symbolic Binary Executor von Romano, Anthony, Engler, Dawson

Volltext

Z-ranking: using statistical analysis to counter the impact of static analysis approximations von Kremenek, Ted, Engler, Dawson

Volltext

Static Analysis Versus Model Checking for Bug Finding von Engler, Dawson

Volltext