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