Sign in
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact).
Henrique Botelho Guerra
João F. Ferreira
João Costa Seco
Published in:
Dagstuhl Artifacts Ser. (2023)
Keyphrases
</>
symbolic execution
static analysis
test generation
test data generation
specification language
source code
high level
data flow
real world
databases
neural network
artificial intelligence
training data
programming language
monitoring system