Generation of Local and Expected Behaviors of a Smart Card Application to Detect Software Anomaly.