7766 search results - page 47 / 1554 » Testing Nondeterminate Systems |
CSFW
1999
IEEE
14 years 1 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
ESORICS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. We revisit the classical notion of noninterference for statebased systems, as presented by Rushby in 1992. We strengthen his results in several ways, in particular clarif...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
TAICPART
2010
IEEE
13 years 7 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
FM
2005
Springer
14 years 2 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...