Cate: A system for analysis and test of Java card applications

dc.contributor.author	Pfahler, Peter
dc.contributor.author	Günther, Jürgen
dc.contributor.editor	Beydeda, Ksami
dc.contributor.editor	Gruhn, Volker
dc.contributor.editor	Mayer, Johannes
dc.contributor.editor	Reussner, Ralf
dc.contributor.editor	Schweiggert, Franz
dc.date.accessioned	2019-10-11T10:37:52Z
dc.date.available	2019-10-11T10:37:52Z
dc.date.issued	2004
dc.description.abstract	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 results. This paper gives a concise overview over the system which is successfully employed in the area of smart card development for mobile phones.	en
dc.identifier.isbn	3-88579-387-3
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/28489
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Testing of component-based systems and software quality
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-58
dc.title	Cate: A system for analysis and test of Java card applications	en
dc.type	Text/Conference Paper
gi.citation.endPage	163
gi.citation.publisherPlace	Bonn
gi.citation.startPage	157
gi.conference.date	September 30, 2004
gi.conference.location	Erfurt
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1