An Integrated Testing and Debugging Environment for Java Card | AMiner