Endre Fülöp

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Symbolic Execution

Simulated Annealing Algorithm

Comprehensive Evaluation

Finite State Automaton

Top Venues

Open Comput. Sci.

Publications

Endre Fülöp, Attila Gyen, Norbert Pataki
A Framework for C++ Exception Handling Assistance. SQAMIA (2022)
Endre Fülöp, Norbert Pataki
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution. Open Comput. Sci. 11 (1) (2021)
Endre Fülöp, Norbert Pataki
Comprehensive Evaluation of Cross Translation Unit Symbolic Execution. ICAI (2020)