Gamifying program analysis

DOI10.1007/978-3-662-48899-7_41MaRDI QIDQ3460089zbMATH OpenOpenAlexFDO

Authors Julien Signoles, Matthieu Lemerre, Martin Schäf, Daniel Schnetzer Fava, Ashish Tiwari

Publication date 12 January 2016

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://zenodo.org/record/4429098

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1953018
• scientific article; zbMATH DE number 1617325
• Mining specifications
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Verifying annotated program families using symbolic game semantics

This page was built for publication: Gamifying program analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460089)