Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner, Holger Hermanns
TL;DR
This paper explores the formal aspects of software doping, discussing its characteristics and implications in software systems.
Contribution
It offers an informal discussion on the formal properties and understanding of software doping phenomena.
Findings
Highlights key features of software doping
Provides a formal perspective on doping mechanisms
Discusses implications for software reliability
Abstract
This paper provides an informal discussion of the formal aspects of software doping.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Malware Detection Techniques · Open Source Software Innovations · Digital Games and Media