69 citations · 107 across the 5 of their papers we have counts for
6 papers
Fuzzing Symbolic Expressions
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
Recent years have witnessed a wide array of results in software testing, exploring different approaches and methodologies ranging from fuzzers to symbolic engines, with a full spec…
Hiding in the Particles: When Return-Oriented Programming Meets Program Obfuscation
Pietro Borrello, Emilio Coppa, Daniele Cono D'Elia
Largely known for attack scenarios, code reuse techniques at a closer look reveal properties that are appealing also for program obfuscation. We explore the popular return-oriented…
WEIZZ: Automatic Grey-box Fuzzing for Structured Binary Formats
Andrea Fioraldi, Daniele Cono D'Elia, Emilio Coppa
Fuzzing technologies have evolved at a fast pace in recent years, revealing bugs in programs with ever increasing depth and speed. Applications working with complex formats are how…
A Survey of Symbolic Execution Techniques
Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia +2
Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying…
On data skewness, stragglers, and MapReduce progress indicators
Emilio Coppa, Irene Finocchi
We tackle the problem of predicting the performance of MapReduce applications, designing accurate progress indicators that keep programmers informed on the percentage of completed…
Multithreaded Input-Sensitive Profiling
Emilio Coppa, Camil Demetrescu, Irene Finocchi +1
Input-sensitive profiling is a recent performance analysis technique that makes it possible to estimate the empirical cost function of individual routines of a program, helping dev…