Liveness-driven random program generation

DOI10.1007/978-3-319-94460-9_7MaRDI QIDQ1671147zbMATH OpenOpenAlexFDO

Authors Gergö Barany

Publication date 6 September 2018

Full work available at URL https://arxiv.org/abs/1709.04421

zbMATH Keywords

program optimizationcode generationrandom testingdata-flow analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Beginner's luck: a language for property-based generators
• An integrated approach to assertion-based random testing in Prolog
• scientific article; zbMATH DE number 177266
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Symbolic liveness analysis of real-world software

Describes a project that uses

Uses Software

• jsfunfuzz
• Plum Hall
• ACVS
• Csmith
• Frama-C

This page was built for publication: Liveness-driven random program generation

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