Publications

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
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
TrABin : Trustworthy analyses of binaries
Published on 2019-03-21
Realisability of pomsets via communicating automata
Published on 2019-01-25
Correctness attraction : a study of stability of software behavior under runtime perturbation
Published on 2018-12-11