Malware Analysis with Tree Automata Inference
Abstract elided by the publisher.
Related papers
- Scalable Tree-based Register Automata Learning TACAS 2024
- Set-Based Analysis for Logic Programming and Tree Automata SAS 1997
- Forester: Shape Analysis Using Tree Automata - (Competition Contribution) TACAS 2015
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- Regular expression pattern matching for XML POPL 2001
- Regular language type inference with term rewriting ICFP 2020
- Regular expression pattern matching for XML JFP 2003
- Reduction of Nondeterministic Tree Automata TACAS 2016