161
Voted
TAP
2007
Springer
15 years 9 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
97
Voted
TAP
2007
Springer
15 years 9 months ago
2007
Springer
128
Voted
TAP
2007
Springer
15 years 9 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...
98
Voted
TAP
2007
Springer
15 years 9 months ago
2007
Springer
90
Voted
TAP
2007
Springer
15 years 9 months ago
2007
Springer
