Automata-based symbolic string analysis for vulnerability detection
From MaRDI portal
Publication:2248096
DOI10.1007/s10703-013-0189-1zbMath1291.68272MaRDI QIDQ2248096
Oscar H. Ibarra, Fang Yu, Tevfik Bultan, Muath Alkhalaf
Publication date: 30 June 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-013-0189-1
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68M11: Internet topics
Uses Software