36 search results - page 1 / 8 » Mastering Test Generation from Smart Card Software Formal Mo... |
CASSIS
2004
Springer
13 years 9 months ago
2004
Springer
FASE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
CARDIS
2000
Springer
13 years 9 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...
TAP
2007
Springer
13 years 11 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
PDSE
1998
13 years 6 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...