Publications

A journey among Java neutral program variants
Published on 2019-11-22
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis.
Published on 2019-11-19
On the verification of system-level information flow properties for virtualized execution platforms
Published on 2019-11-08
Automatic test improvement with DSpot : a study with ten mature open-source projects
Published on 2019-10-25
Scalable comparison of JavaScript V8 bytecode traces
Published on 2019-10-24
A snowballing literature study on test amplification
Published on 2019-10-22
iFixR : Bug Report driven Program Repair
Published on 2019-10-07
Realisability of pomsets
Published on 2019-10-02
DiRPOMS: Automatic Checker of Distributed Realizability of POMSets
Published on 2019-10-02
A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark
Published on 2019-06-14
Sorting and Transforming Program Repair Ingredients via Deep Learning Code Similarities
Published on 2019-06-11
BEARS : An Extensible Java Bug Benchmark for Automatic Program Repair Studies
Published on 2019-06-11
Protecting Instruction Set Randomization from Code Reuse Attacks
Published on 2019-04-03
Engineering software diversity : A model-based approach to systematically diversify communications
Published on 2019-04-03
Astor : Exploring the design space of generate-and-validate program repair beyond GenProg
Published on 2019-03-29