Facets of Software Doping

Gilles Barthe, Pedro R. D’Argenio, Bernd Finkbeiner, Holger Hermanns

This paper provides an informal discussion of the formal aspects of software doping.

ISOLA 2016.

(pdf) (bib)