C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution.
Henrique Botelho Guerra
João F. Ferreira
João Costa Seco
Published in:
ECOOP (2023)
Keyphrases
</>
symbolic execution
static analysis
test data generation
test generation
source code
specification language
high level
test cases
data flow
neural network
data sets
artificial intelligence
query processing
formal specification