Report on the Differential Testing of Static Analyzers

DOI10.14232/ACTACYB.282831OpenAlexW3096325586MaRDI QIDQ5886169

No author found.

Publication date: 30 March 2023

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.282831

zbMATH Keywords

testingstatic analysissymbolic executionClang

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Report on the Differential Testing of Static Analyzers