Pfahler, PeterGünther, JürgenBeydeda, KsamiGruhn, VolkerMayer, JohannesReussner, RalfSchweiggert, Franz2019-10-112019-10-1120043-88579-387-3https://dl.gi.de/handle/20.500.12116/28489Cate is a domain-specific testing environment. It integrates both static and dynamic analyzes that are designed for Java Card application software. Cate supports the test process by analyzing the command/response behavior of the software, by performing test coverage analysis and by providing tools to visualize the analysis results. This paper gives a concise overview over the system which is successfully employed in the area of smart card development for mobile phones.enText/Conference Paper1617-5468