Symbolic automata for static specification mining

DOI10.1007/978-3-642-38856-9_6MaRDI QIDQ2870768zbMATH OpenOpenAlexFDO

Authors Hila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang

Publication date 21 January 2014

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38856-9_6

Mathematics Subject Classification ID

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

Recommendations

• Symbolic automata for representing big code
• Temporal logic specification mining of programs
• Mining specifications
• Theoretical aspects of symbolic automata
• Learning symbolic automata

Cited in

(6)

• Deep specification mining with attention
• Temporal logic specification mining of programs
• Symbolic automata for representing big code
• Protocol Inference Using Static Path Profiles
• Mining specifications
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Symbolic automata for static specification mining

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