Report on the Differential Testing of Static Analyzers
From MaRDI portal
Publication:5886169
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
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