Publication

DatAFLow: Toward a Data-Flow-Guided Fuzzer

Related publications (18)

From Infinite to Finite Programs: Explicit Error Bounds with Applications to Approximate Dynamic Programming

Daniel Kuhn, Peyman Mohajerin Esfahani, John Lygeros, Tobias Sutter

We consider linear programming (LP) problems in infinite dimensional spaces that are in general computationally intractable. Under suitable assumptions, we develop an approximation bridge from the infinite-dimensional LP to tractable finite convex programs ...

2018

Multi-objective optimization and exergoeconomic analysis of a combined cooling, heating and power based compressed air energy storage system

François Maréchal, Ligang Wang, Erren Yao

Compressed air energy storage technologies can improve the supply capacity and stability of the electric- ity grid, particularly when fluctuating renewable energies are massively connected. While incorporating the combined cooling, heating and power system ...

Elsevier2017

PBCOV: a property-based coverage criterion

Hamza Harkous, Kassem Fawaz

Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...

Springer2015

Systematically testing OpenFlow controller applications

Dejan Kostic, Marco Canini, Peter Peresini, Maciej Leszek Kuzniar, Jennifer Rexford

The emergence of OpenFlow-capable switches enables exciting new network functionality, at the risk of programming errors that make communication less reliable. The centralized programming model, where a single controller program manages the network, seems ...

Elsevier Science Bv2015

The economic performance of Swiss drinking water utilities

Andrea Baranzini, Anne-Kathrin Faust

This paper measures the performance in terms of costs of Swiss drinking water utilities accounting for environmental factors. We estimate a translog stochastic variable cost frontier using two different techniques on an unbalanced panel of 141 water distri ...

Springer Verlag2014

Alternating Control Flow Reconstruction

Johannes Kinder

Unresolved indirect branch instructions are a major obstacle for statically reconstructing a control flow graph (CFG) from machine code. If static analysis cannot compute a precise set of possible targets for a branch, the necessary conservative over-appro ...

Springer2012

A NICE Way to Test OpenFlow Applications

Dejan Kostic, Marco Canini, Peter Peresini, Jennifer Rexford

2012

Multi-stage production cost optimization of semi-rigid steel frames using genetic algorithms

Nizar Bel Hadj Ali

The response of a steel structure is closely related to the behavior of its joints. This means that it is necessary to take explicit account of joint properties in order to ensure a consistent approach to design optimization of steel frames. Semi-rigid des ...

2009