Liveness-driven random program generation

DOI10.1007/978-3-319-94460-9_7OpenAlexW2756283368MaRDI QIDQ1671147

Gergö Barany

Publication date: 6 September 2018

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

zbMATH Keywords

random testingprogram optimizationcode generationdata-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)

Uses Software

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

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