Publications

An Analysis of 35+ Million Jobs of Travis CI
Published on 2020-05-13
Clockwork: Tracking Remote Timing Attacks
Published on 2020-05-08
IntRepair : Informed Repairing of Integer Overflows
Published on 2020-04-08
Explainable software bot contributions : Case study of automated bug fixes
Published on 2020-03-27
Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy
Published on 2020-03-24
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