26 citations · 29 across the 5 of their papers we have counts for
8 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…
On-Stack Replacement à la Carte
Daniele Cono D'Elia, Camil Demetrescu
On-stack replacement (OSR) dynamically transfers execution between different code versions. This mechanism is used in mainstream runtime systems to support adaptive and speculative…
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…
Experimental Evaluation of Algorithms for the Food-Selection Problem
Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano +1
In this paper, we describe the result of our experiments on Algorithms for the Food-Selection Problem, which is the fundamental problem first stated and addressed in the seminal pa…
Ball-Larus Path Profiling Across Multiple Loop iterations
Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi
Identifying the hottest paths in the control flow graph of a routine can direct optimizations to portions of the code where most resources are consumed. This powerful methodology,…
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…