Gamifying program analysis

DOI10.1007/978-3-662-48899-7_41zbMATH Open1471.68060OpenAlexW2294950441MaRDI QIDQ3460089FDOQ3460089

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

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

Mathematics Subject Classification ID

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

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)