Sign in
Static Analysis of Shape in TensorFlow Programs (Artifact).
Sifis Lagouvardos
Julian Dolby
Neville Grech
Anastasios Antoniadis
Yannis Smaragdakis
Published in:
Dagstuhl Artifacts Ser. (2020)
Keyphrases
</>
static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
malicious code
shape model
shape descriptors
shape representation
test generation
regular expressions
api calls
shape features
shape matching
data integration
anomaly detection
open source
software engineering
d objects