Now showing items 1-1 of 1
Cate: A system for analysis and test of Java card applications
Testing of component-based systems and software quality
Cate 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 ...