Login / Signup
Verification of Architectural Constraints on Sequences of Method Invocations.
Stuart Siroky
Rodion M. Podorozhny
Guowei Yang
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
cost function
objective function
neural network
high precision
constrained optimization
decision trees
support vector
classification accuracy
error rate
classification method