Abstract Code Injection

DOI10.1007/978-3-319-73721-8_6zbMATH Open1446.68029OpenAlexW2777297765MaRDI QIDQ3296325FDOQ3296325

Isabella Mastroeni, Samuele Buro

Publication date: 7 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_6

Mathematics Subject Classification ID

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

Cited In (2)

• Automata, Languages and Programming
• Improving dynamic code analysis by code abstraction

This page was built for publication: Abstract Code Injection

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