1001 search results - page 9 / 201 » Testing Formal Dialectic |
128
Voted
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
137
click to vote
TAP
2007
Springer
15 years 10 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...
87
Voted
COGSCI
2008
15 years 4 months ago
2008
Two experiments investigated the mechanism by which listeners adjust their interpretation of accented speech that is similar to a regional dialect of American English. Only a subs...
147
click to vote
FORTEST
2008
15 years 6 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
137
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...