Sign in
Principled and practical static analysis for Python: Weakest precondition inference of hyperparameter constraints.
Ingkarat Rak-amnouykit
Ana L. Milanova
Guillaume Baudart
Martin Hirzel
Julian Dolby
Published in:
Softw. Pract. Exp. (2024)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
open source
java card
bayesian networks
programming language
malicious code
abstract interpretation
data sets
pattern matching
real world
regular expressions
hyperparameters