182 search results - page 2 / 37 » Static Program Analysis for Java Card Applets |
147
Voted
WCRE
1999
IEEE
15 years 5 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
93
Voted
ENTCS
2006
15 years 1 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
136
Voted
CARDIS
2000
Springer
15 years 5 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
164
Voted
JAVACARD
2000
15 years 4 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
124
Voted
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...