Henrique Botelho Guerra

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Specification Language

Test Data Generation

Top Venues

Dagstuhl Artifacts Ser.

Publications

Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution. ECOOP (2023)
Henrique Botelho Guerra, João F. Ferreira, João Costa Seco
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)