The application of hypergroups in symbolic executions and finite automata

DOI10.1007/s00500-021-05812-3zbMath1498.68177OpenAlexW3158993832MaRDI QIDQ2098344

Dariush Heidari, Saeed Doostali

Publication date: 18 November 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-021-05812-3

zbMATH Keywords

finite automatonsymbolic executioncontrol flow graphshyper-operationquasi-ordering hypergroup

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Hypergroups (20N20)

Cites Work

• Quantitative analysis of smart contracts
• Control flow graphs and code coverage
• Program Slicing
• Symbolic execution and program testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The application of hypergroups in symbolic executions and finite automata