Generation of Local and Expected Behaviors of a Smart Card Application to Detect Software Anomaly | IEEE Conference Publication | IEEE Xplore